BibTeX records: Peter Padawitz

download as .bib file

@inproceedings{DBLP:conf/cai/Padawitz11,
  author    = {Peter Padawitz},
  title     = {From Grammars and Automata to Algebras and Coalgebras},
  booktitle = {Algebraic Informatics - 4th International Conference, {CAI} 2011,
               Linz, Austria, June 21-24, 2011. Proceedings},
  pages     = {21--43},
  year      = {2011},
  crossref  = {DBLP:conf/cai/2011},
  url       = {https://doi.org/10.1007/978-3-642-21493-6\_2},
  doi       = {10.1007/978-3-642-21493-6\_2},
  timestamp = {Fri, 08 Mar 2019 15:12:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cai/Padawitz11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/Padawitz10,
  author    = {Peter Padawitz},
  title     = {Algebraic Model Checking},
  journal   = {{ECEASST}},
  volume    = {26},
  year      = {2010},
  url       = {https://doi.org/10.14279/tuj.eceasst.26.359},
  doi       = {10.14279/tuj.eceasst.26.359},
  timestamp = {Wed, 12 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/eceasst/Padawitz10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Padawitz07,
  author    = {Peter Padawitz},
  title     = {Expander2: Program Verification Between Interaction and Automation},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {177},
  pages     = {35--57},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2007.01.003},
  doi       = {10.1016/j.entcs.2007.01.003},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/Padawitz07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Padawitz05,
  author    = {Peter Padawitz},
  title     = {Expander2},
  booktitle = {Formal Methods in Software and Systems Modeling, Essays Dedicated
               to Hartmut Ehrig, on the Occasion of His 60th Birthday},
  pages     = {236--258},
  year      = {2005},
  crossref  = {DBLP:conf/birthday/2005ehrig},
  url       = {https://doi.org/10.1007/978-3-540-31847-7\_14},
  doi       = {10.1007/978-3-540-31847-7\_14},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/Padawitz05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Padawitz00,
  author    = {Peter Padawitz},
  title     = {Swinging types=functions+relations+transition systems},
  journal   = {Theor. Comput. Sci.},
  volume    = {243},
  number    = {1-2},
  pages     = {93--165},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0304-3975(00)00171-7},
  doi       = {10.1016/S0304-3975(00)00171-7},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/Padawitz00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/Padawitz00,
  author    = {Peter Padawitz},
  title     = {Swinging {UML:} How to Make Class Diagrams and State Machines Amenable
               to Constraint Solving and Proving},
  booktitle = {{\guillemotleft}UML{\guillemotright} 2000 - The Unified Modeling Language,
               Advancing the Standard, Third International Conference, York, UK,
               October 2-6, 2000, Proceedings},
  pages     = {162--177},
  year      = {2000},
  crossref  = {DBLP:conf/uml/2000},
  url       = {https://doi.org/10.1007/3-540-40011-7\_12},
  doi       = {10.1007/3-540-40011-7\_12},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uml/Padawitz00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ifip/Padawitz99,
  author    = {Peter Padawitz},
  title     = {Proof in Flat Specifications},
  booktitle = {Algebraic Foundations of Systems Specification},
  pages     = {321--384},
  year      = {1999},
  crossref  = {DBLP:series/ifip/afss1999},
  url       = {https://doi.org/10.1007/978-3-642-59851-7\_10},
  doi       = {10.1007/978-3-642-59851-7\_10},
  timestamp = {Tue, 16 May 2017 14:24:23 +0200},
  biburl    = {https://dblp.org/rec/bib/series/ifip/Padawitz99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/Padawitz97,
  author    = {Peter Padawitz},
  title     = {Towards the one-tiered design of data types and transition systems},
  booktitle = {Recent Trends in Algebraic Development Techniques, 12th International
               Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  pages     = {365--380},
  year      = {1997},
  crossref  = {DBLP:conf/wadt/1997},
  url       = {https://doi.org/10.1007/3-540-64299-4\_45},
  doi       = {10.1007/3-540-64299-4\_45},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/Padawitz97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Padawitz96,
  author    = {Peter Padawitz},
  title     = {Inductive Theorem Proving for Design Specification},
  journal   = {J. Symb. Comput.},
  volume    = {21},
  number    = {1},
  pages     = {41--99},
  year      = {1996},
  url       = {https://doi.org/10.1006/jsco.1996.0003},
  doi       = {10.1006/jsco.1996.0003},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/Padawitz96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Padawitz95,
  author    = {Peter Padawitz},
  title     = {Swinging Data Types: Syntax, Semantics, and Theory},
  booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
               of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
               Norway, September 19-23, 1995, Selected Papers},
  pages     = {409--435},
  year      = {1995},
  crossref  = {DBLP:conf/compass/1995},
  url       = {https://doi.org/10.1007/3-540-61629-2\_56},
  doi       = {10.1007/3-540-61629-2\_56},
  timestamp = {Thu, 15 Jun 2017 21:34:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compass/Padawitz95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-2/LenartPP94,
  author    = {Mihaly Lenart and
               Peter Padawitz and
               Ana Pasztor},
  title     = {Formal specification for design automation},
  booktitle = {Formal Design Methods for CAD, Proceedings of the {IFIP} {TC5/WG5.2}
               Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19
               June, 1994},
  pages     = {201--220},
  year      = {1994},
  crossref  = {DBLP:conf/ifip5-2/1994},
  timestamp = {Tue, 14 Jan 2003 15:32:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifip5-2/LenartPP94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/Padawitz92,
  author    = {Peter Padawitz},
  title     = {Generic Induction Proofs},
  booktitle = {Conditional Term Rewriting Systems, Third International Workshop,
               CTRS-92, Pont-{\`{a}}-Mousson, France, July 8-10, 1992, Proceedings},
  pages     = {175--197},
  year      = {1992},
  crossref  = {DBLP:conf/ctrs/1992},
  url       = {https://doi.org/10.1007/3-540-56393-8\_14},
  doi       = {10.1007/3-540-56393-8\_14},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ctrs/Padawitz92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Padawitz91,
  author    = {Peter Padawitz},
  title     = {Reduction and Narrowing for Horn Clause Theories},
  journal   = {Comput. J.},
  volume    = {34},
  number    = {1},
  pages     = {42--51},
  year      = {1991},
  url       = {https://doi.org/10.1093/comjnl/34.1.42},
  doi       = {10.1093/comjnl/34.1.42},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/Padawitz91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Padawitz91,
  author    = {Peter Padawitz},
  title     = {Inductive Expansion: {A} Calculus for Verifying and Synthesizing Functional
               and Logic Programs},
  journal   = {J. Autom. Reasoning},
  volume    = {7},
  number    = {1},
  pages     = {27--103},
  year      = {1991},
  url       = {https://doi.org/10.1007/BF00249354},
  doi       = {10.1007/BF00249354},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jar/Padawitz91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Padawitz89,
  author    = {Peter Padawitz},
  title     = {Can inductive proofs be automated? Part {II}},
  journal   = {Bulletin of the {EATCS}},
  volume    = {37},
  pages     = {168--174},
  year      = {1989},
  timestamp = {Tue, 08 Jul 2003 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eatcs/Padawitz89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Padawitz89,
  author    = {Peter Padawitz},
  title     = {Proving the Correctness of Schorr-Waite Graph Marking by Inductive
               Expansion},
  booktitle = {{IFIP} Congress},
  pages     = {1121--1126},
  year      = {1989},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifip/Padawitz89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Padawitz89,
  author    = {Peter Padawitz},
  title     = {Inductive Proofs by Resolution and Paramodulation},
  booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
               and Practice of Software Development, Barcelona, Spain, March 13-17,
               1989, Volume 1: Advanced Seminar on Foundations of Innovative Software
               Development {I} and Colloquium on Trees in Algebra and Programming
               (CAAP'89)},
  pages     = {352--368},
  year      = {1989},
  crossref  = {DBLP:conf/tapsoft/1989-1},
  url       = {https://doi.org/10.1007/3-540-50939-9\_143},
  doi       = {10.1007/3-540-50939-9\_143},
  timestamp = {Fri, 19 May 2017 13:10:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/Padawitz89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Padawitz88,
  author    = {Peter Padawitz},
  title     = {Computing in Horn Clause Theories},
  series    = {{EATCS} Monographs on Theoretical Computer Science},
  volume    = {16},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73824-1},
  doi       = {10.1007/978-3-642-73824-1},
  isbn      = {978-3-642-73826-5},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/series/eatcs/Padawitz88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Padawitz88,
  author    = {Peter Padawitz},
  title     = {Can inductive proofs be automated?},
  journal   = {Bulletin of the {EATCS}},
  volume    = {35},
  pages     = {163--170},
  year      = {1988},
  timestamp = {Tue, 08 Jul 2003 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eatcs/Padawitz88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Padawitz88,
  author    = {Peter Padawitz},
  title     = {The Equational Theory of Parameterized Specifications},
  journal   = {Inf. Comput.},
  volume    = {76},
  number    = {2/3},
  pages     = {121--137},
  year      = {1988},
  url       = {https://doi.org/10.1016/0890-5401(88)90006-5},
  doi       = {10.1016/0890-5401(88)90006-5},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/Padawitz88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Padawitz88,
  author    = {Peter Padawitz},
  title     = {Inductive Expansion},
  booktitle = {{ADT}},
  year      = {1988},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/adt/Padawitz88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Padawitz87,
  author    = {Peter Padawitz},
  title     = {Parameter-Preserving Data Type Specifications},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {34},
  number    = {2/3},
  pages     = {179--209},
  year      = {1987},
  url       = {https://doi.org/10.1016/0022-0000(87)90024-9},
  doi       = {10.1016/0022-0000(87)90024-9},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcss/Padawitz87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Padawitz87,
  author    = {Peter Padawitz},
  title     = {Strategy-Controlled Reduction and Narrowing},
  booktitle = {Rewriting Techniques and Applications, 2nd International Conference,
               RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings},
  pages     = {242--255},
  year      = {1987},
  crossref  = {DBLP:conf/rta/87},
  url       = {https://doi.org/10.1007/3-540-17220-3\_21},
  doi       = {10.1007/3-540-17220-3\_21},
  timestamp = {Fri, 19 May 2017 13:10:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/Padawitz87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Padawitz86,
  author    = {Peter Padawitz},
  title     = {The Use of Terminal Semantics for Disproving Inductive Theorems},
  booktitle = {{ADT}},
  year      = {1986},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/adt/Padawitz86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Padawitz85,
  author    = {Peter Padawitz},
  title     = {Parameter Preserving Data Type Specifications},
  booktitle = {Mathematical Foundations of Software Development, Proceedings of the
               International Joint Conference on Theory and Practice of Software
               Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume
               1: Colloquium on Trees in Algebra and Programming (CAAP'85)},
  pages     = {323--341},
  year      = {1985},
  crossref  = {DBLP:conf/tapsoft/1985-1},
  url       = {https://doi.org/10.1007/3-540-15198-2\_21},
  doi       = {10.1007/3-540-15198-2\_21},
  timestamp = {Fri, 19 May 2017 12:26:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/Padawitz85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/PadawitzW84,
  author    = {Peter Padawitz and
               Martin Wirsing},
  title     = {Completeness of many-sorted equational logic revisited},
  journal   = {Bulletin of the {EATCS}},
  volume    = {24},
  pages     = {88--93},
  year      = {1984},
  timestamp = {Tue, 15 Jul 2003 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eatcs/PadawitzW84},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/Padawitz84,
  author    = {Peter Padawitz},
  title     = {Towards a Proof Theory of Parameterized Specifications},
  booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
               France, June 27-29, 1984, Proceedings},
  pages     = {375--391},
  year      = {1984},
  crossref  = {DBLP:conf/sdt/1984},
  url       = {https://doi.org/10.1007/3-540-13346-1\_19},
  doi       = {10.1007/3-540-13346-1\_19},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sdt/Padawitz84},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Padawitz83,
  author    = {Peter Padawitz},
  title     = {Correctness, completeness, and consistency of equational data type
               specifications},
  school    = {Technical University of Berlin, Germany},
  year      = {1983},
  url       = {http://d-nb.info/831119276},
  timestamp = {Fri, 21 Oct 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Padawitz83},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/GrudeP83,
  author    = {Ulrich Grude and
               Peter Padawitz},
  title     = {Initial and Fixpoint Semantics of Algebraic Specifications},
  booktitle = {{ADT}},
  year      = {1983},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/adt/GrudeP83},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Padawitz82,
  author    = {Peter Padawitz},
  title     = {Graph Grammars and Operational Semantics},
  journal   = {Theor. Comput. Sci.},
  volume    = {19},
  pages     = {117--141},
  year      = {1982},
  url       = {https://doi.org/10.1016/0304-3975(82)90056-1},
  doi       = {10.1016/0304-3975(82)90056-1},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/Padawitz82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EhrigKMP82,
  author    = {Hartmut Ehrig and
               Hans{-}J{\"{o}}rg Kreowski and
               Bernd Mahr and
               Peter Padawitz},
  title     = {Algebraic Implementation of Abstract Data Types},
  journal   = {Theor. Comput. Sci.},
  volume    = {20},
  pages     = {209--263},
  year      = {1982},
  url       = {https://doi.org/10.1016/S0304-3975(82)80001-7},
  doi       = {10.1016/S0304-3975(82)80001-7},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/EhrigKMP82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Padawitz82,
  author    = {Peter Padawitz},
  title     = {On the Proof of Completeness and Consistency},
  booktitle = {{ADT}},
  year      = {1982},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/adt/Padawitz82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/Padawitz82,
  author    = {Peter Padawitz},
  title     = {Equational Data Type Specifications and Recursive Program Schemes},
  booktitle = {Formal Description of Programming Concepts : Proceedings of the {IFIP}
               Working Conference on Formal Description of Programming Concepts-
               II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982},
  pages     = {305--330},
  year      = {1982},
  crossref  = {DBLP:conf/ifip2/1982},
  timestamp = {Tue, 15 Jan 2019 18:15:42 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifip2/Padawitz82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EhrigKP80,
  author    = {Hartmut Ehrig and
               Hans{-}J{\"{o}}rg Kreowski and
               Peter Padawitz},
  title     = {Algebraic Implementation of Abstract Data Types: Concept, Syntax,
               Semantics and Correctness},
  booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
               The Netherlands, July 14-18, 1980, Proceedings},
  pages     = {142--156},
  year      = {1980},
  crossref  = {DBLP:conf/icalp/1980},
  url       = {https://doi.org/10.1007/3-540-10003-2\_67},
  doi       = {10.1007/3-540-10003-2\_67},
  timestamp = {Tue, 19 Jun 2018 07:52:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/EhrigKP80},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/EhrigKMP80,
  author    = {Hartmut Ehrig and
               Hans{-}J{\"{o}}rg Kreowski and
               Bernd Mahr and
               Peter Padawitz},
  title     = {Compound Algebraic Implementations: An Approach to Stepwise Refinement
               of Software Systems},
  booktitle = {Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings
               of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980},
  pages     = {231--245},
  year      = {1980},
  crossref  = {DBLP:conf/mfcs/1980},
  url       = {https://doi.org/10.1007/BFb0022508},
  doi       = {10.1007/BFb0022508},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/EhrigKMP80},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Padawitz80,
  author    = {Peter Padawitz},
  title     = {New Results on Completeness and Consistency of Abstract Data Types},
  booktitle = {Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings
               of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980},
  pages     = {460--473},
  year      = {1980},
  crossref  = {DBLP:conf/mfcs/1980},
  url       = {https://doi.org/10.1007/BFb0022525},
  doi       = {10.1007/BFb0022525},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/Padawitz80},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/EhrigKP80,
  author    = {Hartmut Ehrig and
               Hans{-}J{\"{o}}rg Kreowski and
               Peter Padawitz},
  title     = {A Case Study of Abstract Implementations and Their Correctness},
  booktitle = {International Symposium on Programming, Proceedings of the Fourth
               'Colloque International sur la Programmation', Paris, France, 22-24
               April 1980},
  pages     = {108--122},
  year      = {1980},
  crossref  = {DBLP:conf/programm/1980},
  url       = {https://doi.org/10.1007/3-540-09981-6\_8},
  doi       = {10.1007/3-540-09981-6\_8},
  timestamp = {Fri, 19 May 2017 12:26:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/programm/EhrigKP80},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Padawitz78,
  author    = {Peter Padawitz},
  title     = {Graph Grammars and Operational Semantics},
  booktitle = {Graph-Grammars and Their Application to Computer Science and Biology,
               International Workshop, Bad Honnef, Germany, October 30 - November
               3, 1978},
  pages     = {350--366},
  year      = {1978},
  crossref  = {DBLP:conf/gg/1978},
  url       = {https://doi.org/10.1007/BFb0025732},
  doi       = {10.1007/BFb0025732},
  timestamp = {Wed, 20 Jun 2018 17:40:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gg/Padawitz78},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EhrigKP78,
  author    = {Hartmut Ehrig and
               Hans{-}J{\"{o}}rg Kreowski and
               Peter Padawitz},
  title     = {Stepwise Specification and Implementation of Abstract Data Types},
  booktitle = {Automata, Languages and Programming, Fifth Colloquium, Udine, Italy,
               July 17-21, 1978, Proceedings},
  pages     = {205--226},
  year      = {1978},
  crossref  = {DBLP:conf/icalp/1978},
  url       = {https://doi.org/10.1007/3-540-08860-1\_16},
  doi       = {10.1007/3-540-08860-1\_16},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/EhrigKP78},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cai/2011,
  editor    = {Franz Winkler},
  title     = {Algebraic Informatics - 4th International Conference, {CAI} 2011,
               Linz, Austria, June 21-24, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6742},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21493-6},
  doi       = {10.1007/978-3-642-21493-6},
  isbn      = {978-3-642-21492-9},
  timestamp = {Fri, 08 Mar 2019 15:12:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cai/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2005ehrig,
  editor    = {Hans{-}J{\"{o}}rg Kreowski and
               Ugo Montanari and
               Fernando Orejas and
               Grzegorz Rozenberg and
               Gabriele Taentzer},
  title     = {Formal Methods in Software and Systems Modeling, Essays Dedicated
               to Hartmut Ehrig, on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {3393},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b106390},
  doi       = {10.1007/b106390},
  isbn      = {3-540-24936-2},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2005ehrig},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uml/2000,
  editor    = {Andy Evans and
               Stuart Kent and
               Bran Selic},
  title     = {{\guillemotleft}UML{\guillemotright} 2000 - The Unified Modeling Language,
               Advancing the Standard, Third International Conference, York, UK,
               October 2-6, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1939},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-40011-7},
  doi       = {10.1007/3-540-40011-7},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uml/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/ifip/afss1999,
  editor    = {Egidio Astesiano and
               Hans{-}J{\"{o}}rg Kreowski and
               Bernd Krieg{-}Br{\"{u}}ckner},
  title     = {Algebraic Foundations of Systems Specification},
  series    = {{IFIP} State-of-the-Art Reports},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/978-3-642-59851-7},
  doi       = {10.1007/978-3-642-59851-7},
  isbn      = {978-3-642-64151-0},
  timestamp = {Tue, 16 May 2017 14:24:23 +0200},
  biburl    = {https://dblp.org/rec/bib/series/ifip/afss1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/1997,
  editor    = {Francesco Parisi{-}Presicce},
  title     = {Recent Trends in Algebraic Development Techniques, 12th International
               Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1376},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-64299-4},
  doi       = {10.1007/3-540-64299-4},
  isbn      = {3-540-64299-4},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compass/1995,
  editor    = {Magne Haveraaen and
               Olaf Owe and
               Ole{-}Johan Dahl},
  title     = {Recent Trends in Data Type Specification, 11th Workshop on Specification
               of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
               Norway, September 19-23, 1995, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1130},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61629-2},
  doi       = {10.1007/3-540-61629-2},
  isbn      = {3-540-61629-2},
  timestamp = {Thu, 15 Jun 2017 21:34:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compass/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip5-2/1994,
  editor    = {John S. Gero and
               Enn Tyugu},
  title     = {Formal Design Methods for CAD, Proceedings of the {IFIP} {TC5/WG5.2}
               Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19
               June, 1994},
  series    = {{IFIP} Transactions},
  volume    = {{B-18}},
  publisher = {Elsevier},
  year      = {1994},
  isbn      = {0-444-81970-3},
  timestamp = {Tue, 14 Jan 2003 15:32:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifip5-2/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ctrs/1992,
  editor    = {Micha{\"{e}}l Rusinowitch and
               Jean{-}Luc Remy},
  title     = {Conditional Term Rewriting Systems, Third International Workshop,
               CTRS-92, Pont-{\`{a}}-Mousson, France, July 8-10, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {656},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56393-8},
  doi       = {10.1007/3-540-56393-8},
  isbn      = {3-540-56393-8},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ctrs/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapsoft/1989-1,
  editor    = {Josep D{\'{\i}}az and
               Fernando Orejas},
  title     = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
               and Practice of Software Development, Barcelona, Spain, March 13-17,
               1989, Volume 1: Advanced Seminar on Foundations of Innovative Software
               Development {I} and Colloquium on Trees in Algebra and Programming
               (CAAP'89)},
  series    = {Lecture Notes in Computer Science},
  volume    = {351},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/3-540-50939-9},
  doi       = {10.1007/3-540-50939-9},
  isbn      = {3-540-50939-9},
  timestamp = {Fri, 19 May 2017 13:10:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/1989-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/87,
  editor    = {Pierre Lescanne},
  title     = {Rewriting Techniques and Applications, 2nd International Conference,
               RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {256},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/3-540-17220-3},
  doi       = {10.1007/3-540-17220-3},
  isbn      = {3-540-17220-3},
  timestamp = {Fri, 19 May 2017 13:10:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapsoft/1985-1,
  editor    = {Hartmut Ehrig and
               Christiane Floyd and
               Maurice Nivat and
               James W. Thatcher},
  title     = {Mathematical Foundations of Software Development, Proceedings of the
               International Joint Conference on Theory and Practice of Software
               Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume
               1: Colloquium on Trees in Algebra and Programming (CAAP'85)},
  series    = {Lecture Notes in Computer Science},
  volume    = {185},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/3-540-15198-2},
  doi       = {10.1007/3-540-15198-2},
  isbn      = {3-540-15198-2},
  timestamp = {Fri, 19 May 2017 12:26:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/1985-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sdt/1984,
  editor    = {Gilles Kahn and
               David B. MacQueen and
               Gordon D. Plotkin},
  title     = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
               France, June 27-29, 1984, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {173},
  publisher = {Springer},
  year      = {1984},
  url       = {https://doi.org/10.1007/3-540-13346-1},
  doi       = {10.1007/3-540-13346-1},
  isbn      = {3-540-13346-1},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sdt/1984},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip2/1982,
  editor    = {Dines Bj{\o}rner},
  title     = {Formal Description of Programming Concepts : Proceedings of the {IFIP}
               Working Conference on Formal Description of Programming Concepts-
               II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982},
  publisher = {North-Holland},
  year      = {1983},
  isbn      = {0-444-86619-1},
  timestamp = {Tue, 15 Jan 2019 18:15:42 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifip2/1982},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/1980,
  editor    = {J. W. de Bakker and
               Jan van Leeuwen},
  title     = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
               The Netherlands, July 14-18, 1980, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {85},
  publisher = {Springer},
  year      = {1980},
  url       = {https://doi.org/10.1007/3-540-10003-2},
  doi       = {10.1007/3-540-10003-2},
  isbn      = {3-540-10003-2},
  timestamp = {Tue, 19 Jun 2018 07:52:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/1980},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1980,
  editor    = {Piotr Dembinski},
  title     = {Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings
               of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980},
  series    = {Lecture Notes in Computer Science},
  volume    = {88},
  publisher = {Springer},
  year      = {1980},
  url       = {https://doi.org/10.1007/BFb0022491},
  doi       = {10.1007/BFb0022491},
  isbn      = {3-540-10027-X},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/1980},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/programm/1980,
  editor    = {Bernard Robinet},
  title     = {International Symposium on Programming, Proceedings of the Fourth
               'Colloque International sur la Programmation', Paris, France, 22-24
               April 1980},
  series    = {Lecture Notes in Computer Science},
  volume    = {83},
  publisher = {Springer},
  year      = {1980},
  url       = {https://doi.org/10.1007/3-540-09981-6},
  doi       = {10.1007/3-540-09981-6},
  isbn      = {3-540-09981-6},
  timestamp = {Fri, 19 May 2017 12:26:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/programm/1980},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gg/1978,
  editor    = {Volker Claus and
               Hartmut Ehrig and
               Grzegorz Rozenberg},
  title     = {Graph-Grammars and Their Application to Computer Science and Biology,
               International Workshop, Bad Honnef, Germany, October 30 - November
               3, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {73},
  publisher = {Springer},
  year      = {1979},
  url       = {https://doi.org/10.1007/BFb0025713},
  doi       = {10.1007/BFb0025713},
  isbn      = {3-540-09525-X},
  timestamp = {Wed, 20 Jun 2018 17:40:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gg/1978},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/1978,
  editor    = {Giorgio Ausiello and
               Corrado B{\"{o}}hm},
  title     = {Automata, Languages and Programming, Fifth Colloquium, Udine, Italy,
               July 17-21, 1978, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {62},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-08860-1},
  doi       = {10.1007/3-540-08860-1},
  isbn      = {3-540-08860-1},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/1978},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier