Modular proof systems for partial functions with Evans equality

13 years 4 months ago

Download www.mpi-inf.mpg.de

The paper presents a modular superposition calculus for the combination of firstorder theories involving both total and partial functions. The modularity of the calculus is a consequence of the fact that all the inferences are pure

Harald Ganzinger, Viorica Sofronie-Stokkermans, Uw

Real-time Traffic

Calculus | Firstorder Theories | IANDC 2006 | Modular Superposition Calculus |

claim paper

» Minlog

» Static Equivalence is Harder than Knowledge

» Termination Casts A Flexible Approach to Termination with General Recursion

» On Near Optimality of the Set of FiniteState Controllers for Average Cost POMDP

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	IANDC
Authors	Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann

Comments (0)

Sciweavers

Modular proof systems for partial functions with Evans equality

Calculus | Firstorder Theories | IANDC 2006 | Modular Superposition Calculus |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers