Search Sciweavers | Sciweavers

292 search results - page 16 / 59

» First-order intensional logic

click to vote

TAP
2010
Springer

134views Hardware» more TAP 2010»

Testing First-Order Logic Axioms in Program Verification

13 years 5 months ago

Download ti.arc.nasa.gov

Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...

Ki Yung Ahn, Ewen Denney

claim paper

Read More »

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 2 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 29 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers