Peter Padawitz

Available identifiers

zbMath Open padawitz.peterMaRDI QIDQ757076

List of research outcomes

Publication	Date of Publication	Type
Generic induction proofs	2023-03-09	Paper
Expander2: program verification between interaction and automation	2014-01-24	Paper
From Grammars and Automata to Algebras and Coalgebras	2011-07-08	Paper
Formal Methods in Software and Systems Modeling	2005-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4431230	2003-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q4702600	2001-04-01	Paper
Swinging types=functions+relations+transition systems	2000-08-21	Paper
Inductive theorem proving for design specifications	1996-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q4040341	1993-06-05	Paper
Deduction and Declarative Programming	1993-01-23	Paper
Inductive expansion: A calculus for verifying and synthesizing functional and logic programs	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3827551	1988-01-01	Paper
The equational theory of parameterized specifications	1988-01-01	Paper
Parameter-preserving data type specifications	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3774997	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3677151	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3345752	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3038598	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3657415	1983-01-01	Paper
Algebraic implementation of abstract data types	1982-01-01	Paper
Graph grammars and operational semantics	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3907050	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3883463	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3875329	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3885176	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4199504	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3851591	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4192995	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4160385	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3916035	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4125739	1977-01-01	Paper

Research outcomes over time

This page was built for person: Peter Padawitz