Search Sciweavers | Sciweavers

545 search results - page 10 / 109

» Recursive logic frames

click to vote

CORR
2008
Springer

94views Education» more CORR 2008»

Complexity of Hybrid Logics over Transitive Frames

13 years 10 months ago

Download www.csc.liv.ac.uk

Martin Mundhenk, Thomas Schneider 0002, Thomas Sch...

claim paper

Read More »

click to vote

MST
2008

119views more MST 2008»

Logical Equivalence for Subtyping Object and Recursive Types

13 years 9 months ago

Download www.doc.ic.ac.uk

Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised throu...

Steffen van Bakel, Ugo de'Liguoro

claim paper

Read More »

click to vote

FOSSACS
1999
Springer

80views Software Engineering» more FOSSACS 1999»

Testing Hennessy-Milner Logic with Recursion

14 years 2 months ago

Download www.brics.dk

Luca Aceto, Anna Ingólfsdóttir

claim paper

Read More »

click to vote

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

14 years 2 months ago

Download www.hpl.hp.com

K. Rustan M. Leino

claim paper

Read More »

click to vote

CORR
2010
Springer

79views Education» more CORR 2010»

Safe Recursion on Notation into a Light Logic by Levels

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers