Search Sciweavers | Sciweavers

3624 search results - page 26 / 725

» Abstract Algebraic Logic

131

click to vote

CALCO
2007
Springer

118views Mathematics» more CALCO 2007»

Free Modal Algebras: A Coalgebraic Perspective

15 years 10 months ago

Download www.cs.le.ac.uk

In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995). We revisit...

Nick Bezhanishvili, Alexander Kurz

claim paper

Read More »

127

Voted

FSEN
2007
Springer

115views Software Engineering» more FSEN 2007»

Action Abstraction in Timed Process Algebra

15 years 10 months ago

Download www.win.tue.nl

Michel A. Reniers, Muck van Weerdenburg

claim paper

Read More »

click to vote

COSIT
1999
Springer

136views GIS» more COSIT 1999»

One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole

15 years 8 months ago

Download www.dpi.inpe.br

Andrew U. Frank

claim paper

Read More »

113

click to vote

FSTTCS
1994
Springer

101views Software Engineering» more FSTTCS 1994»

Priority and Abstraction in Process Algebra

15 years 8 months ago

Download www.cs.umd.edu

V. Natarajan, Ivan Christoff, Linda Christoff, Ran...

claim paper

Read More »

113

click to vote

LATIN
2000
Springer

71views Information Technology» more LATIN 2000»

Iteration Algebras Are Not Finitely Axiomatizable. Extended Abstract

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers