Search Sciweavers | Sciweavers

1814 search results - page 17 / 363

» Extended First-Order Logic

click to vote

STACS
2009
Springer

111views Theoretical Computer Science» more STACS 2009»

Fragments of First-Order Logic over Infinite Words

14 years 2 months 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

14 years 1 months ago

Download disi.unitn.it

Pascal Fontaine

claim paper

Read More »

click to vote

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

14 years 1 months ago

Download www.cl.cam.ac.uk

Anuj Dawar

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

14 years 20 days ago

Download www.logic.at

Matthias Baaz, Norbert Preining, Richard Zach

claim paper

Read More »

click to vote

EWSPT
2003
Springer

102views Software Engineering» more EWSPT 2003»

Flexible Static Semantic Checking Using First-Order Logic

14 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers