Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Padawitz, Peter - Fachbereich Informatik, Universität Dortmund
Basic Inference Rules for Algebraic and Coalgebraic Speci cations
Swinging Data Types --The dielectic between actions and constructors --
A System for Testing and Verifying FunctionalLogic Programs
Algebraic Compilers and their implementation in Haskell
Rectangular Dissections A Case Study in Deriving Functional Programs
Mind Math Movement Dualities are pure oppositions, binary oppositions, as structuralists have called them, reductionistic models,
Mehrpssige Compilation mit nalen Coalgebren
Algebraic Model Checking and more Peter Padawitz
Swinging Types At Work Peter Padawitz
Swinging Types = Functions + Relations + Transition Systems
From grammars and automata to algebras and coalgebras
Electronic Communications of the EASST Volume 26 (2010)
Expander2 as a Prover and Rewriter Peter Padawitz
Dialgebraic Specification and Modeling Peter Padawitz
Structured Swinging Types Peter Padawitz
Proof in Flat Specifications 1 Peter Padawitz
Inductive Theorem Proving for Design Specifications
1 Introduction 1 Integrating FunctionalLogic and StateOriented Specifications
Tabelle 3.1. Vitae der hauptamtlich Lehrenden und Lehrbeauftragten Prof. Dr. Peter Padawitz
Building Shelf Systems A Case Study in Structured ML Programming
Swinging Types = Functions + Relations + Transition Systems
