1670 search results - page 81 / 334 » On Skolemization in constructive theories |
140
click to vote
APLAS
2003
ACM
15 years 11 months ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
108
click to vote
COLING
1996
15 years 7 months ago
1996
This paper focusses on mental state adjectives and offers a unified analysis in the theory of Generative Lexicon (Pustejovsky, 1991, 1995). We show that, instead of enumerating th...
126
click to vote
HICSS
2007
IEEE
16 years 20 days ago
2007
IEEE
Information systems (IS) research employs a wide range of theory, drawn from numerous disciplines. Over the course of the past three decades, the proliferation of theory has creat...
144
click to vote
ISSAC
2007
Springer
16 years 15 days ago
2007
Springer
Constructing some regular graph with a given girth, a given degree and the fewest possible vertices is a hard problem. This problem is called the cage graph problem and has some l...
146
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
We construct finite groups whose Cayley graphs have large girth even w.r.t. a discounted distance measure that contracts arbitrarily long sequences of edges from the same colour ...