MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Till Mossakowski" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

76 documents found, showing 1 through 10. Next 10 →

ATOM

Monad-based logics for computational effects
by Till Mossakowski
…Monad-based logics for computational effects Till Mossakowski DFKI Laboratory, Bremen…
Add To MetaCart

Using Limits of Parchments to Systematically Construct Institutions of Partial Algebras
by Till Mossakowski — 1996 — Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, volume 1130 of Lecture Notes in Computer Science
…Using limits of parchments to systematically construct institutions of partial algebras Till…
Cited by 16 (5 self) – Add To MetaCart

Equivalences among Various Logical Frameworks of Partial Algebras
by Till Mossakowski — 1996 — Computer Science Logic. 9th Workshop, CSL'95. Paderborn
…Equivalences among Various Logical Frameworks of Partial Algebras Till Mossakowski University…
Cited by 17 (7 self) – Add To MetaCart

A Hierarchy of Institutions Separated By Properties of Parameterized Data Types
by Till Mossakowski — 1995
…A hierarchy of institutions separated by properties of parameterized abstract data types Till…
Cited by 4 (1 self) – Add To MetaCart

Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods
by Till Mossakowski — Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, 1993, Workshops in Computing
… Till Mossakowski University of Bremen Department of Computer Science P.O.Box 33 04 40 D-28334 Bremen…
Cited by 3 (2 self) – Add To MetaCart

Translating OBJ3 into CASL: the Institution Level
by Till Mossakowski — 1998 — In Recent Trends in Algebraic Development Techniques, Proc. 13th International Workshop, WADT '98
…Translating OBJ3 into CASL: the Institution Level Till Mossakowski Department of Computer Science…
Cited by 3 (0 self) – Add To MetaCart

Colimits of Order-Sorted Specifications
by Till Mossakowski — In Recent Trends in Algebraic Development Techniques, Proc. 12th International Workshop, WADT '97
…Colimits of Order-Sorted Specifications Till Mossakowski Department of Computer Science…
Cited by 4 (1 self) – Add To MetaCart

Institutional 2-cells and Grothendieck institutions
by Till Mossakowski — 2006 — Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, LNCS 4060
…Institutional 2-cells and Grothendieck institutions Till Mossakowski DFKI Lab Bremen and Dept…
Cited by 6 (5 self) – Add To MetaCart

Relating CASL with Other Specification Languages: the Institution Level
by Till Mossakowski — 2000
…Relating CASL with Other Specication Languages: the Institution Level 1 Till Mossakowski Bremen…
Cited by 20 (10 self) – Add To MetaCart

Different Types of Arrow Between Logical Frameworks
by Till Mossakowski — 1996 — Proc. ICALP 96, LNCS 1099, 158--169
…Different Types of Arrow Between Logical Frameworks Till Mossakowski University of Bremen, Dept…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB