Search Sciweavers | Sciweavers

193 search results - page 5 / 39

» Automated Reasoning in Kleene Algebra

click to vote

LICS
1989
IEEE

99views Automated Reasoning» more LICS 1989»

Towards Action-Refinement in Process Algebras

15 years 1 months ago

Download www.tara.tcd.ie

Luca Aceto, Matthew Hennessy

claim paper

Read More »

click to vote

DLOG
1996

138views Automated Reasoning» more DLOG 1996»

The Algebraic Essence of K-Rep

14 years 11 months ago

Download www.aaai.org

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

claim paper

Read More »

click to vote

CSL
2002
Springer

107views Automated Reasoning» more CSL 2002»

Greibach Normal Form in Algebraically Complete Semirings

14 years 9 months ago

Download www.brics.dk

Zoltán Ésik, Hans Leiß

claim paper

Read More »

click to vote

DLOG
2009

97views Automated Reasoning» more DLOG 2009»

A Semantic Algebra for Modularized Description Logics Knowledge Bases

14 years 7 months ago

Download dl.kr.org

Krzysztof Goczyla, Wojciech Waloszek, Aleksander W...

claim paper

Read More »

click to vote

DLOG
2009

122views Automated Reasoning» more DLOG 2009»

Algebraic Tableau Algorithm for ALCOQ

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers