default search action
BibTeX record conf/time/HoT94
@inproceedings{DBLP:conf/time/HoT94, author = {Ehric Ho and Andr{\'{e}} Trudel}, editor = {Scott D. Goodwin and Howard J. Hamilton}, title = {The Specification and Implementation of a First Order Logic for Uncertain Temporal Domains}, booktitle = {Proceedings of the {TIME-94} International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994}, pages = {95--102}, publisher = {University of Regina, Regina, SK, Canada}, year = {1994}, url = {ftp://ftp.cs.uregina.ca/pub/time-workshop/time94/hoTrudel.ps}, timestamp = {Wed, 28 Aug 2019 11:53:34 +0200}, biburl = {https://dblp.org/rec/conf/time/HoT94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.