Search Sciweavers | Sciweavers

118 search results - page 6 / 24

» Team Logic and Second-Order Logic

click to vote

TLCA
2001
Springer

85views Theoretical Computer Science» more TLCA 2001»

Second-Order Pre-Logical Relations and Representation Independence

13 years 11 months ago

Download www.cis.uni-muenchen.de

Hans Leiß

claim paper

Read More »

click to vote

RTA
1998
Springer

120views Theoretical Computer Science» more RTA 1998»

Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic

13 years 11 months ago

Download www.coli.uni-saarland.de

The system FT

Martin Müller, Joachim Niehren

claim paper

Read More »

click to vote

MFCS
2000
Springer

130views Theoretical Computer Science» more MFCS 2000»

0-1 Laws for Fragments of Existential Second-Order Logic: A Survey

13 years 11 months ago

Download www.cs.technion.ac.il

The probability of a property on the collection of all finite relational structures is the limit as

Phokion G. Kolaitis, Moshe Y. Vardi

claim paper

Read More »

click to vote

TACAS
1995
Springer

96views Algorithms» more TACAS 1995»

Mona: Monadic Second-Order Logic in Practice

13 years 11 months ago

Download www.brics.dk

Jesper G. Henriksen, Jakob L. Jensen, Michael E. J...

claim paper

Read More »

click to vote

DLOG
2010

109views Automated Reasoning» more DLOG 2010»

Second-Order Description Logics: Semantics, Motivation, and a Calculus

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers