Search Sciweavers | Sciweavers

1814 search results - page 21 / 363

» Extended First-Order Logic

click to vote

CORR
2010
Springer

125views Education» more CORR 2010»

Tree Languages Defined in First-Order Logic with One Quantifier Alternation

13 years 7 months ago

Download www.lsv.ens-cachan.fr

We study tree languages that can be defined in 2. These are tree languages definable by a first-order formula whose quantifier prefix is , and simultaneously by a first-order for...

Mikolaj Bojanczyk, Luc Segoufin

claim paper

Read More »

click to vote

APAL
2006

44views more APAL 2006»

Periodicity based decidable classes in a first order timed logic

13 years 7 months ago

Download lacl.univ-paris12.fr

Danièle Beauquier, Anatol Slissenko

claim paper

Read More »

click to vote

IJFCS
2008

59views more IJFCS 2008»

A Survey on Small Fragments of First-Order Logic over Finite Words

13 years 7 months ago

Download www.fmi.uni-stuttgart.de

Volker Diekert, Paul Gastin, Manfred Kufleitner

claim paper

Read More »

click to vote

IJFCS
2008

63views more IJFCS 2008»

A Normal Form for First-Order Logic over Doubly-Linked Data Structures

13 years 7 months ago

Download www.newton.ac.uk

Steven Lindell

claim paper

Read More »

click to vote

CORR
2007
Springer

89views Education» more CORR 2007»

Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers