Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

94

Voted

MSCS
2007

76views more MSCS 2007»

A duality between proof systems for cyclic term graphs

15 years 2 months ago

A duality between proof systems for cyclic term graphs

Download www.phil.uu.nl

Clemens Grabmayer

Real-time Traffic

MSCS 2007 |

claim paper

Related Content

» A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on...

» Automated Termination Proofs for Java Programs with Cyclic Data

» The duality of computation

» CircuitsCutsets Duality and a Unified Algorithmic Framework for Survivable Logical Topolog...

» A bijective proof of Jacksons formula for the number of factorizations of a cycle

» Closing the Gap Between Runtime Complexity and Polytime Computability

» Typestate Checking and Regular Graph Constraints

» Multiprocessor Resource Allocation for ThroughputConstrained Synchronous Dataflow Graphs

» On the existence of stable models of nonstratified logic programs

Post Info
More Details (n/a)

Added	27 Dec 2010
Updated	27 Dec 2010
Type	Journal
Year	2007
Where	MSCS
Authors	Clemens Grabmayer

Comments (0)