Zum Inhalt springen

Marx, Maarten [VerfasserIn]; Venema, Yde [VerfasserIn]

Multi-dimensional modal logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht [u.a.]: Kluwer Academic, 1997

Erschienen in: Applied logic series ; 4
Blackburn, Patrick [VerfasserIn]; Rijke, Maarten de [VerfasserIn]; Venema, Yde [VerfasserIn]

Modal logic - [4. print. with corr.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge [u.a.]: Cambridge Univ. Press, 2010

Erschienen in: Cambridge tracts in theoretical computer science ; 53.2010
Blackburn, Patrick [VerfasserIn]; Rijke, Maarten de [VerfasserIn]; Venema, Yde [VerfasserIn]

Modal logic - [Reprinted with corr.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge [u.a.]: Cambridge Univ. Press, 2004

Erschienen in: Cambridge tracts in theoretical computer science ; 53.2004
Blackburn, Patrick [VerfasserIn]; Rijke, Maarten de [VerfasserIn]; Venema, Yde [VerfasserIn]

Modal logic - [1. publ.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge [u.a.]: Cambridge University Press, 2001

Erschienen in: Cambridge tracts in theoretical computer science ; 53
Blackburn, Patrick [VerfasserIn]; Rijke, Maarten de [VerfasserIn]; Venema, Yde [VerfasserIn]

Modal logic - [1. paperback ed.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge [u.a.]: Cambridge University Press, 2002

Erschienen in: Cambridge tracts in theoretical computer science ; 53.2002
Marx, Maarten [VerfasserIn] ; Venema, Yde [Sonstige Person, Familie und Körperschaft]

Multi-Dimensional Modal Logic

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht: Springer, 1997

Erschienen in: Applied Logic Series ; 4- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics
Ciancia, Vincenzo [VerfasserIn]; Venema, Yde [VerfasserIn] ; Vincenzo Ciancia and Yde Venema [MitwirkendeR]

Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Enqvist, Sebastian [VerfasserIn]; Venema, Yde [VerfasserIn] ; Sebastian Enqvist and Yde Venema [MitwirkendeR]

Disjunctive Bases: Normal Forms for Modal Logics

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Kupke, Clemens [VerfasserIn]; Marti, Johannes [VerfasserIn]; Venema, Yde [VerfasserIn] ; Clemens Kupke and Johannes Marti and Yde Venema [MitwirkendeR]

Succinct Graph Representations of μ-Calculus Formulas

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Bezhanishvili, Nick [VerfasserIn]; de Groot, Jim [VerfasserIn]; Venema, Yde [VerfasserIn] ; Nick Bezhanishvili and Jim de Groot and Yde Venema [MitwirkendeR]

Coalgebraic Geometric Logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Enqvist, Sebastian [VerfasserIn]; Seifan, Fatemeh [VerfasserIn]; Venema, Yde [VerfasserIn] ; Sebastian Enqvist and Fatemeh Seifan and Yde Venema [MitwirkendeR]

Completeness for Coalgebraic Fixpoint Logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Marti, Johannes [VerfasserIn]; Seifan, Fatemeh [VerfasserIn]; Venema, Yde [VerfasserIn] ; Johannes Marti and Fatemeh Seifan and Yde Venema [MitwirkendeR]

Uniform Interpolation for Coalgebraic Fixpoint Logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Blackburn, Patrick [VerfasserIn]; Rijke, Maarten de [VerfasserIn]; Venema, Yde [VerfasserIn]

Modal logic - [Fourth printing with corrections]

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge: Cambridge University Press, 2010

Erschienen in: Cambridge tracts in theoretical computer science ; 53
Eck, Pascal van [VerfasserIn]; Engelfriet, Joeri [VerfasserIn]; Fensel, Dieter [VerfasserIn]; Harmelen, Frank van [VerfasserIn]; Venema, Yde [VerfasserIn]; Willems, Mark [VerfasserIn]

Specification of dynamics for knowledge-based systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KITopen (Karlsruhe Institute of Technologie), 2007-08-02
Eck, Pascal van [VerfasserIn]; Engelfriet, Joeri [VerfasserIn]; Fensel, Dieter [VerfasserIn]; Harmelen, Frank van [VerfasserIn]; Venema, Yde [VerfasserIn]; Willems, Mark [VerfasserIn]

Specification of dynamics for knowledge-based systems. Extended abstract

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KITopen (Karlsruhe Institute of Technologie), 2007-08-02
Venema, Yde

Automata and fixed point logic: A coalgebraic perspective

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2006

Erschienen in: Information and Computation
Venema, Yde

Handbook of Modal Logic: 6 Algebras and coalgebras

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier, 2007

Erschienen in: Handbook of Modal Logic
Venema, Yde

Logic, Language, Information and Computation: A Modal Distributive Law (abstract)

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2007

Erschienen in: Logic, Language, Information and Computation
Venema, Yde

Automata and Fixed Point Logics for Coalgebras

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2004

Erschienen in: Electronic Notes in Theoretical Computer Science
Venema, Yde

A Dual Characterization of Subdirectly Irreducible BAOs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2004

Erschienen in: Studia Logica

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr