%0 Conference Paper %1 conf/jelia/EncisoGR96 %A Enciso, Manuel %A de Guzmán, Inman P. %A Rossi, Carlos %B JELIA %D 1996 %E Alferes, José Júlio %E Pereira, Luís Moniz %E Orlowska, Ewa %I Springer %K dblp %P 303-319 %T Temporal Reasoning over Linear Discrete Time. %U http://dblp.uni-trier.de/db/conf/jelia/jelia96.html#EncisoGR96 %V 1126 %@ 3-540-61630-6

@inproceedings{conf/jelia/EncisoGR96, added-at = {2017-06-04T00:00:00.000+0200}, author = {Enciso, Manuel and de Guzmán, Inman P. and Rossi, Carlos}, biburl = {https://www.bibsonomy.org/bibtex/2d06026aa17bc2e52b0072594183917dc/dblp}, booktitle = {JELIA}, crossref = {conf/jelia/1996}, editor = {Alferes, José Júlio and Pereira, Luís Moniz and Orlowska, Ewa}, ee = {https://doi.org/10.1007/3-540-61630-6_22}, interhash = {c2ebe30cf09d772d70af940aa0d2fbe0}, intrahash = {d06026aa17bc2e52b0072594183917dc}, isbn = {3-540-61630-6}, keywords = {dblp}, pages = {303-319}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:30:58.000+0200}, title = {Temporal Reasoning over Linear Discrete Time.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia96.html#EncisoGR96}, volume = 1126, year = 1996 }