Search Sciweavers | Sciweavers

1167 search results - page 65 / 234

» A Really Temporal Logic

click to vote

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

14 years 2 months ago

Download www.matap.uma.es

Alfredo Burrieza, Inman P. de Guzmán, Emili...

claim paper

Read More »

click to vote

MPC
2010
Springer

172views Mathematics» more MPC 2010»

Temporal Logic Verification of Lock-Freedom

14 years 2 months ago

Download mpc-amast2010.fsg.ulaval.ca

Bogdan Tofan, Simon Bäumler, Gerhard Schellho...

claim paper

Read More »

click to vote

TIME
1999
IEEE

120views Automated Reasoning» more TIME 1999»

Introducing Temporal Description Logics

14 years 1 months ago

Download www.dbnet.ece.ntua.gr

Alessandro Artale, Enrico Franconi

claim paper

Read More »

click to vote

CAV
1998
Springer

138views Hardware» more CAV 1998»

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

14 years 1 months ago

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 »

click to vote

JELIA
1998
Springer

62views Artificial Intelligence» more JELIA 1998»

Implicates and Reduction Techniques for Temporal Logics

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers