3970 search results - page 202 / 794 » A Logic For Causal Reasoning |
LICS
1996
IEEE
14 years 1 months ago
1996
IEEE
We present the linear type theory LLF as the forThis extended abstract will appear on the proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science -LICS'...
ELP
1993
14 years 1 months ago
1993
We describe how the calculus of partial inductive definitions is used to represent logics. This calculus includes the powerful principle of definitional reflection. We describe two...
LPAR
1992
Springer
14 years 1 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...
CSL
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Church's Problem (1962) asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence X an output...
LICS
1987
IEEE
14 years 1 months ago
1987
IEEE
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...