1670 search results - page 225 / 334 » On Skolemization in constructive theories |
173
click to vote
ML
2006
ACM
16 years 12 days ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
190
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
196
click to vote
BIRTHDAY
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
150
click to vote
DIGRA
2003
Springer
15 years 11 months ago
2003
Springer
Communication between players in networked computer games is often inadequately implemented. The games do not exploit the full potential of using different forms of communication ...
135
click to vote
CSR
2010
Springer
15 years 11 months ago
2010
Springer
Algorithmic tools for graphs of small treewidth are used to address questions in complexity theory. For both arithmetic and Boolean circuits, it is shown that any circuit of size ...