1888 search results - page 24 / 378 » Proof theory and computational analysis |
FOCS
1994
IEEE
13 years 11 months ago
1994
IEEE
BIRTHDAY
2003
Springer
14 years 17 days ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...
LICS
2008
IEEE
14 years 1 months ago
2008
IEEE
Using appropriate notation systems for proofs, cutreduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system ...
COCOON
2003
Springer
14 years 17 days ago
2003
Springer
Abstract. We show that finding roots of Boolean matrices is an NPhard problem. This answers a twenty year old question from semigroup theory. Interpreting Boolean matrices as dire...
AGP
2010
IEEE
14 years 13 days ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...