Sciweavers

2 search results - page 1 / 1

» csl 1992

27

CSL
1992
Springer

99views Automated Reasoning» more CSL 1992»

Model Building by Resolution

14 years 2 months ago

Model Building by Resolution

Download www.logic.at

ating Point Numbers (Abstract). In: Berichte aus Informatik

Christian G. Fermüller, Alexander Leitsch

claim paper

Read More »

35

CSL
1992
Springer

121views Automated Reasoning» more CSL 1992»

Communicating Evolving Algebras

14 years 2 months ago

Communicating Evolving Algebras

Download www.eecs.umich.edu

We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...

Paola Glavan, Dean Rosenzweig

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »