1670 search results - page 81 / 334 » On Skolemization in constructive theories |
149
click to vote
APLAS
2003
ACM
16 years 3 days 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...
117
click to vote
COLING
1996
15 years 8 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...
136
click to vote
HICSS
2007
IEEE
16 years 1 months 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...
154
click to vote
ISSAC
2007
Springer
16 years 1 months 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...
159
click to vote
LICS
2010
IEEE
15 years 5 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 ...