Sciweavers

1916 search results - page 9 / 384

» Reasoning with class algebra

30

LICS
1999
IEEE

106views Automated Reasoning» more LICS 1999»

On Hoare Logic and Kleene Algebra with Tests

14 years 2 months ago

On Hoare Logic and Kleene Algebra with Tests

Download www.cparity.com

Dexter Kozen

claim paper

Read More »

15

CSL
1993
Springer

87views Automated Reasoning» more CSL 1993»

Process Algebra with Combinators

14 years 1 months ago

Process Algebra with Combinators

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Inge Bethke, Alban Ponse

claim paper

Read More »

30

LICS
1989
IEEE

99views Automated Reasoning» more LICS 1989»

Towards Action-Refinement in Process Algebras

14 years 1 months ago

Towards Action-Refinement in Process Algebras

Download www.tara.tcd.ie

Luca Aceto, Matthew Hennessy

claim paper

Read More »

20

DLOG
1996

138views Automated Reasoning» more DLOG 1996»

The Algebraic Essence of K-Rep

13 years 11 months ago

The Algebraic Essence of K-Rep

Download www.aaai.org

Frank J. Oles, Eric Mays, Robert A. Weida

claim paper

Read More »

16

CSL
2002
Springer

107views Automated Reasoning» more CSL 2002»

Greibach Normal Form in Algebraically Complete Semirings

13 years 9 months ago

Greibach Normal Form in Algebraically Complete Semirings

Download www.brics.dk

Zoltán Ésik, Hans Leiß

claim paper

Read More »

« Prev « First page 9 / 384 Last » Next »