Sciweavers

292 search results - page 17 / 59

» First-order intensional logic

28

EWSPT
2003
Springer

102views Software Engineering» more EWSPT 2003»

Flexible Static Semantic Checking Using First-Order Logic

14 years 27 days ago

Flexible Static Semantic Checking Using First-Order Logic

Download laser.cs.umass.edu

Shimon Rura, Barbara Staudt Lerner

claim paper

Read More »

20

FCT
2003
Springer

80views Applied Computing» more FCT 2003»

Weak Cardinality Theorems for First-Order Logic

14 years 27 days ago

Weak Cardinality Theorems for First-Order Logic

Download latex-beamer.sourceforge.net

Till Tantau

claim paper

Read More »

26

TACS
2001
Springer

99views Software Engineering» more TACS 2001»

Nominal Logic: A First Order Theory of Names and Binding

14 years 3 days ago

Nominal Logic: A First Order Theory of Names and Binding

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

27

CAV
1998
Springer

138views Hardware» more CAV 1998»

Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs

13 years 12 months ago

Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs

Download hvg.ece.concordia.ca

bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...

Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...

claim paper

Read More »

28

STACS
1998
Springer

105views Theoretical Computer Science» more STACS 1998»

Local Normal Forms for First-Order Logic with Applications to Games and Automata

13 years 12 months ago

Local Normal Forms for First-Order Logic with Applications to Games and Automata

Download www.dmtcs.org

Thomas Schwentick, Klaus Barthelmann

claim paper

Read More »

« Prev « First page 17 / 59 Last » Next »