Search Sciweavers | Sciweavers

844 search results - page 17 / 169

» Safraless Decision Procedures

click to vote

TPHOL
2003
IEEE

88views Automated Reasoning» more TPHOL 2003»

Complete Integer Decision Procedures as Derived Rules in HOL

14 years 1 months ago

Download nicta.com.au

Michael Norrish

claim paper

Read More »

click to vote

ASIAN
2003
Springer

102views Algorithms» more ASIAN 2003»

Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report

14 years 1 months ago

Download faculty.ist.unomaha.edu

Deepak Kapur, Mahadevan Subramaniam

claim paper

Read More »

click to vote

CAV
1998
Springer

77views Hardware» more CAV 1998»

Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures

14 years 26 days ago

Download www-step.stanford.edu

Michael Colón, Tomás E. Uribe

claim paper

Read More »

click to vote

CADE
1997
Springer

143views Logical Reasoning» more CADE 1997»

A Practical Integration of First-Order Reasoning and Decision Procedures

14 years 24 days ago

Download www-step.stanford.edu

Nikolaj Bjørner, Mark E. Stickel, Tom&aacut...

claim paper

Read More »

click to vote

ICTL
1994

242views Automated Reasoning» more ICTL 1994»

A Decision Procedure for a Temporal Belief Logic

14 years 22 days ago

Download www.csc.liv.ac.uk

This paper presents a temporal belief logic called

Michael Wooldridge, Michael Fisher

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers