Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

Brzozowski’s Algorithm (Co)Algebraically

Bonchi, F.
Bonsangue, M.
Rutten, J.
Silva, A.

Publication date

January 2012

DOI

10.1007/978-3-642-29485-3_2

Publisher

Springer Science and Business Media LLC

Abstract

Contains fulltext : 93774.pdf (publisher's version ) (Closed access

Extracted data

Related items

Coalgebraic Bisimulation-Up-To

Rot, J.
Bonsangue, M.
Rutten, J.

January 2013

Contains fulltext : 111303.pdf (publisher's version ) (Closed access

Computing with Classical Real Numbers

Kaliszyk, C.S.
O'Connor, R.S.S.

January 2009

Contains fulltext : 75367.pdf (publisher's version ) (Open Access)14 p

From coalgebraic to monoidal traces

Jacobs, B.

January 2010

Contains fulltext : 83462.pdf (publisher's version ) (Closed access

Coalgebras and approximation

Jacobs, B.P.F.

January 1994

Contains fulltext : 175391.pdf (publisher's version ) (Closed access

Kadyshevsky Field Theory

Rijken, T.A.
Wagenaar, J.W.

January 2010

Contains fulltext : 83339.pdf (publisher's version ) (Closed access

Algebraic quantum mechanics

Landsman, N.P.

January 2009

Contains fulltext : 75223.pdf (author's version ) (Closed access

A Topological Approach to Recognition

Gehrke, M.
Grigorieff, S.
Pin, J.-E.

January 2010

Contains fulltext : 84395.pdf (preprint version ) (Closed access

Martin von Cochem

Gemert, G.C.A.M. van

January 1988

Contains fulltext : 100659.pdf (publisher's version ) (Open Access

Einführung in die Functionsweise des PLS-Algorithmus

Betzin, J.
Henseler, J.

January 2005

Contains fulltext : 46751.pdf (publisher's version ) (Open Access

Computerising Mathematical Text

Kamareddine, F.
Wells, J.
Zengler, C.
Barendregt, H.

January 2014

Contains fulltext : 134655.pdf (preprint version ) (Open Access

An introduction to (co)algebra and (co)induction

Jacobs, B.
Rutten, J.

January 2011

Contains fulltext : 91556.pdf (preprint version ) (Closed access

Exercises in Coalgebraic Specification

Jacobs, B.

January 2002

Contains fulltext : 130355.pdf (preprint version ) (Closed access

Ricardo Güiraldes

Steenmeijer, M.

January 2000

Contains fulltext : 160595.pdf (publisher's version ) (Closed access

Comprehension for Coalgebras

Jacobs, B.

January 2002

Contains fulltext : 130354.pdf (preprint version ) (Closed access

Juggling with combinators

Barendregt, H.P.

January 1988

Contains fulltext : 13365.pdf (publisher's version ) (Open Access

Coalgebraic Bisimulation-Up-To

Rot, J.
Bonsangue, M.
Rutten, J.

January 2013

Contains fulltext : 111303.pdf (publisher's version ) (Closed access

Computing with Classical Real Numbers

Kaliszyk, C.S.
O'Connor, R.S.S.

January 2009

Contains fulltext : 75367.pdf (publisher's version ) (Open Access)14 p

From coalgebraic to monoidal traces

Jacobs, B.

January 2010

Contains fulltext : 83462.pdf (publisher's version ) (Closed access

Coalgebras and approximation

Jacobs, B.P.F.

January 1994

Contains fulltext : 175391.pdf (publisher's version ) (Closed access

Kadyshevsky Field Theory

Rijken, T.A.
Wagenaar, J.W.

January 2010

Contains fulltext : 83339.pdf (publisher's version ) (Closed access

Algebraic quantum mechanics

Landsman, N.P.

January 2009

Contains fulltext : 75223.pdf (author's version ) (Closed access

A Topological Approach to Recognition

Gehrke, M.
Grigorieff, S.
Pin, J.-E.

January 2010

Contains fulltext : 84395.pdf (preprint version ) (Closed access

Martin von Cochem

Gemert, G.C.A.M. van

January 1988

Contains fulltext : 100659.pdf (publisher's version ) (Open Access

Einführung in die Functionsweise des PLS-Algorithmus

Betzin, J.
Henseler, J.

January 2005

Contains fulltext : 46751.pdf (publisher's version ) (Open Access

Computerising Mathematical Text

Kamareddine, F.
Wells, J.
Zengler, C.
Barendregt, H.

January 2014

Contains fulltext : 134655.pdf (preprint version ) (Open Access

An introduction to (co)algebra and (co)induction

Jacobs, B.
Rutten, J.

January 2011

Contains fulltext : 91556.pdf (preprint version ) (Closed access

Exercises in Coalgebraic Specification

Jacobs, B.

January 2002

Contains fulltext : 130355.pdf (preprint version ) (Closed access

Ricardo Güiraldes

Steenmeijer, M.

January 2000

Contains fulltext : 160595.pdf (publisher's version ) (Closed access

Comprehension for Coalgebras

Jacobs, B.

January 2002

Contains fulltext : 130354.pdf (preprint version ) (Closed access

Juggling with combinators

Barendregt, H.P.

January 1988

Contains fulltext : 13365.pdf (publisher's version ) (Open Access

Coalgebraic Bisimulation-Up-To

Rot, J.
Bonsangue, M.
Rutten, J.

January 2013

Contains fulltext : 111303.pdf (publisher's version ) (Closed access

Computing with Classical Real Numbers

Kaliszyk, C.S.
O'Connor, R.S.S.

January 2009

Contains fulltext : 75367.pdf (publisher's version ) (Open Access)14 p

From coalgebraic to monoidal traces

Jacobs, B.

January 2010

Contains fulltext : 83462.pdf (publisher's version ) (Closed access