Search Sciweavers | Sciweavers

7075 search results - page 20 / 1415

» Models and heterogeneous reasoning

click to vote

TIME
1998
IEEE

77views Automated Reasoning» more TIME 1998»

Model-Based Visualization of Temporal Abstractions

15 years 1 months ago

Download www.ise.bgu.ac.il

Yuval Shahar, Cleve Cheng

claim paper

Read More »

click to vote

TPHOL
1998
IEEE

91views Automated Reasoning» more TPHOL 1998»

Formalizing Basic First Order Model Theory

15 years 1 months ago

Download www.cl.cam.ac.uk

John Harrison

claim paper

Read More »

click to vote

KR
1998
Springer

133views Automated Reasoning» more KR 1998»

The Complexity of Model Checking in Modal Event Calculi with Quantifiers

15 years 1 months ago

Download users.dimi.uniud.it

Iliano Cervesato, Massimo Franceschet, Angelo Mont...

claim paper

Read More »

click to vote

LICS
1996
IEEE

95views Automated Reasoning» more LICS 1996»

Order-Incompleteness and Finite Lambda Models (Extended Abstract)

15 years 1 months ago

Download www.mathstat.dal.ca

Peter Selinger

claim paper

Read More »

click to vote

LICS
1996
IEEE

121views Automated Reasoning» more LICS 1996»

A Fully Abstract Domain Model for the pi-Calculus

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers