31387 search results - page 92 / 6278 » Abstracts |
121
click to vote
CSL
2010
Springer
15 years 3 months ago
2010
Springer
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...
APPML
2007
15 years 2 months ago
2007
framework Silvia Bertoluzza∗, Micol Pennacchio Istituto di Matematica Applicata e Tecnologie Informatiche del C.N.R., v. Ferrata 1, 27100 Pavia, Italy Received 16 February 2006; ...
COGSCI
2008
15 years 2 months ago
2008
bstraction, and Disbelief Elena Hoicka a ; Sarah Jutsum b ; Merideth Gattis b a Department of Psychology, University of California, Santa Cruz b School of Psychology, Cardiff Unive...
CACM
2007
15 years 2 months ago
2007
ACTION THE KEY TO COMPUTING? Why is it that some software engineers and computer scientists are able to produce clear, elegant designs and programs, while others cannot? Is it poss...
122
click to vote
ENTCS
2007
15 years 2 months ago
2007
ly positive maps (extended abstract) Peter Selinger 1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories ...