Search Sciweavers | Sciweavers

532 search results - page 19 / 107

» The Logic of Quasi-MV Algebras

123

Voted

IPPS
2000
IEEE

161views Distributed And Parallel Com...» more IPPS 2000»

Compiling Process Algebraic Descriptions into Reconfigurable Logic

15 years 10 months ago

Download ipdps.cc.gatech.edu

Oliver Diessel, George J. Milne

claim paper

Read More »

151

click to vote

CSL
1999
Springer

113views Automated Reasoning» more CSL 1999»

A Logical Viewpoint on Process-Algebraic Quotients

15 years 10 months ago

Download www.fi.muni.cz

We study the following problem: Given a transition system T and its quotient T/∼ under an equivalence ∼, which are the sets L, L′ of Hennessy-Milner formulae such that: if �...

Antonín Kucera, Javier Esparza

claim paper

Read More »

150

click to vote

LICS
1999
IEEE

106views Automated Reasoning» more LICS 1999»

On Hoare Logic and Kleene Algebra with Tests

15 years 10 months ago

Download www.cparity.com

Dexter Kozen

claim paper

Read More »

117

click to vote

AMAST
1998
Springer

94views Software Engineering» more AMAST 1998»

Abstract Algebraic Logic

15 years 10 months ago

Download www.renyi.hu

Don Pigozzi

claim paper

Read More »

124

click to vote

SAS
1997
Springer

103views Formal Methods» more SAS 1997»

An Algebraic Approach to Sharing Analysis of Logic Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers