391 search results - page 57 / 79 » Formal Universes |
115
Voted
ENTCS
2008
15 years 14 days ago
2008
bstraction Functor for Named Sets Vincenzo Ciancia 1 Ugo Montanari 1 Department of Computer Science University of Pisa lem of dening fully abstract operational models of name pass...
ENTCS
2006
15 years 12 days ago
2006
nary abstract) Jan Friso Groote 1 MohammadReza Mousavi 2 Michel A. Reniers 3 Department of Computer Science, Eindhoven University of Technology (TU/e), P.O. Box 513, NL-5600 MB Ein...
105
Voted
JAPLL
2006
15 years 11 days ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
102
Voted
LOGCOM
2006
15 years 10 days ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
78
Voted
IJFCS
2007
15 years 9 days ago
2007
The stichotrichous ciliates are uni-cellular organisms which undergo a series of complex unscrambling of genetic encodings. This ability to rearrange DNA to produce the correct pr...