Did you mean: schröder

search result

Cover von Coalgebraic Methods in Computer Science
11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7399
Media group: MONOGRAPHIE
Cover von Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra

Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra

Author: Schröder, Lutz; Pattinson, Dirk
Year: 2011
Coalgebraic Logic
Media group: ARTICLE
Cover von Named Models in Coalgebraic Hybrid Logic

Named Models in Coalgebraic Hybrid Logic

Year: 2010
Media group: ARTICLE
Cover von Strong Completeness of Coalgebraic Modal Logics

Strong Completeness of Coalgebraic Modal Logics

Year: 2009
Media group: ARTICLE
Cover von Usability Professionals; 1
Themenschwerpunkt : S. 1-69
Search for this author
Year: 2010
Publisher: München, Oldenbourg
i-com
Count: 1
Media group: SPECIAL ISSUE
Cover von Intelligence and security informatics
first NSF / NIJ symposium, Tucson, AZ, USA, June 2 - 3, 2003 : proceedings
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2665
Media group: MONOGRAPHIE
Cover von Defense applications of signal processing 2001/2002 workshop; 2/3
S. VII, 143-440
Search for this author
Year: 2002
Publisher: Boston, Academic Press
Count: 2/3
Media group: SPECIAL ISSUE
Cover von Defense applications of signal processing workshop; 4
special issue : S. 267 - 354
Search for this author
Year: 2000
Publisher: Boston, Academic Press
Count: 4
Media group: SPECIAL ISSUE
Cover von Overt choice

Overt choice

article
Year: 2020
Media group: ARTICLE
Cover von Dynamically reconfigurable architectures
22.02.1998 - 27.02.1998 (98081)
Search for this author
Year: 1998
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 201
Media group: DAGSTUHL-SEMINAR-REP
OPEN V 11.1.0.0