Sciweavers

365 search results - page 17 / 73

» First-order logical filtering

85

EWSPT
2003
Springer

102views Software Engineering» more EWSPT 2003»

Flexible Static Semantic Checking Using First-Order Logic

15 years 5 months ago

Flexible Static Semantic Checking Using First-Order Logic

Download laser.cs.umass.edu

Shimon Rura, Barbara Staudt Lerner

claim paper

Read More »

66

FCT
2003
Springer

80views Applied Computing» more FCT 2003»

Weak Cardinality Theorems for First-Order Logic

15 years 5 months ago

Weak Cardinality Theorems for First-Order Logic

Download latex-beamer.sourceforge.net

Till Tantau

claim paper

Read More »

63

TACS
2001
Springer

99views Software Engineering» more TACS 2001»

Nominal Logic: A First Order Theory of Names and Binding

15 years 4 months ago

Nominal Logic: A First Order Theory of Names and Binding

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

102

CAV
1998
Springer

138views Hardware» more CAV 1998»

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

15 years 4 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 »

91

STACS
1998
Springer

105views Theoretical Computer Science» more STACS 1998»

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

15 years 4 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 / 73 Last » Next »