Sciweavers

2920 search results - page 16 / 584

» Finite information logic

88

JSYML
2007

43views more JSYML 2007»

Successor-invariant first-order logic on finite structures

14 years 11 months ago

Successor-invariant first-order logic on finite structures

Download www.mit.edu

Benjamin Rossman

claim paper

Read More »

86

FUIN
2008

72views more FUIN 2008»

Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics

14 years 11 months ago

Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics

Download www.inf.u-szeged.hu

Zoltán Ésik, Szabolcs Iván

claim paper

Read More »

33

CORR
2010
Springer

60views Education» more CORR 2010»

An introduction to finite automata and their connection to logic

14 years 9 months ago

An introduction to finite automata and their connection to logic

Download hal.archives-ouvertes.fr

Howard Straubing, Pascal Weil

claim paper

Read More »

79

CADE
2006
Springer

108views Logical Reasoning» more CADE 2006»

Geometric Resolution: A Proof Procedure Based on Finite Model Search

16 years 2 days ago

Geometric Resolution: A Proof Procedure Based on Finite Model Search

Download www.ii.uni.wroc.pl

We present a proof procedure that is complete for first-order logic, but which can also be used when searching for finite models. The procedure uses a normal form which is based on...

Hans de Nivelle, Jia Meng

claim paper

Read More »

81

CADE
2008
Springer

118views Logical Reasoning» more CADE 2008»

Deciding Effectively Propositional Logic Using DPLL and Substitution Sets

15 years 1 months ago

Deciding Effectively Propositional Logic Using DPLL and Substitution Sets

Download research.microsoft.com

We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch

Leonardo Mendonça de Moura, Nikolaj Bj&osla...

claim paper

Read More »

« Prev « First page 16 / 584 Last » Next »