Search Sciweavers | Sciweavers

331 search results - page 2 / 67

» Fragments of order

click to vote

STACS
2009
Springer

111views Theoretical Computer Science» more STACS 2009»

Fragments of First-Order Logic over Infinite Words

14 years 1 days ago

Download www.cmi.ac.in

Volker Diekert, Manfred Kufleitner

claim paper

Read More »

click to vote

FROCOS
2009
Springer

139views Control Systems» more FROCOS 2009»

Combinations of Theories for Decidable Fragments of First-Order Logic

13 years 12 months ago

Download disi.unitn.it

Pascal Fontaine

claim paper

Read More »

click to vote

ISMVL
2003
IEEE

81views Hardware» more ISMVL 2003»

Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics

13 years 10 months ago

Download www.logic.at

Matthias Baaz, Norbert Preining, Richard Zach

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 8 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

DLT
2007

111views Theoretical Computer Science» more DLT 2007»

On First-Order Fragments for Words and Mazurkiewicz Traces

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers