Search the dblp DataBase
Bernd Mahr :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Dean Jacobs , Bernd Mahr Concepts of Algebraic Database Programming Languages. [Citation Graph (0, 0)][DBLP ] ADT, 1988, pp:- [Conf ] Bernd Mahr Term Evaluation in Partial Algebras. [Citation Graph (0, 0)][DBLP ] ADT, 1986, pp:- [Conf ] Bernd Mahr , Sebastian Bab inT -Integration of Logics. [Citation Graph (0, 0)][DBLP ] Formal Methods in Software and Systems Modeling, 2005, pp:204-219 [Conf ] Bernd Mahr , Johann A. Makowsky Characterizing Specification Languages Which Admit Initial Semantics. [Citation Graph (0, 0)][DBLP ] CAAP, 1983, pp:300-316 [Conf ] Bernd Mahr Empty Carriers: The Categorical Burden on Logic. [Citation Graph (0, 0)][DBLP ] Categorial Methods in Computer Science, 1988, pp:50-65 [Conf ] Wolfgang Coy , Günter Feuerstein , Rolf Günther , Werner Langenheder , Bernd Mahr , Peter Molzberger , Hartmut Przybylski , Karl-Heinz Rödiger , Horst Röpke , Eva Senghaas-Knobloch , Birgit Volmerg , Walter Volpert , Hellmut Weber , Herbert Wiedemann Informatik und Verantwortung. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung (1), 1988, pp:691-702 [Conf ] Bernd Mahr , Dirk Siefkes Relating Uniform and Nonuniform Models of Computation. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung, 1981, pp:41-48 [Conf ] Bernd Mahr , Robert Tolksdorf Coordination and Logic Programming. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung, 1993, pp:545-550 [Conf ] Bernd Mahr , Carla Umbach Functor-Argument Structures for the Meaning of Natural Language Sentences and Their Formal Interpretation. [Citation Graph (0, 0)][DBLP ] Sorts and Types in Artificial Intelligence, 1989, pp:286-304 [Conf ] Hartmut Ehrig , Hans-Jörg Kreowski , Bernd Mahr , Peter Padawitz Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. [Citation Graph (0, 0)][DBLP ] MFCS, 1980, pp:231-245 [Conf ] Dirk Lutzebäck , Bernd Mahr , Gavin Venters , M. Howard Williams An ODP-Oriented Framework for European Services in Telemedicine. [Citation Graph (0, 0)][DBLP ] Open Distributed Processing, 1993, pp:15-33 [Conf ] Bernd Mahr , M. Gerneth Report on the Workshop "The Role of ODP in Medical Applications". [Citation Graph (0, 0)][DBLP ] Open Distributed Processing, 1993, pp:387-394 [Conf ] Hartmut Ehrig , Bernd Mahr Complexity of Implementations on the Level of Algebraic Specifications [Citation Graph (0, 0)][DBLP ] STOC, 1980, pp:281-293 [Conf ] Hartmut Ehrig , Bernd Mahr A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1995, pp:3-24 [Conf ] Hartmut Ehrig , Bernd Mahr Future Trends of TAPSOFT. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1997, pp:6-10 [Conf ] Bernd Mahr Applications of Type Theory. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1993, pp:343-355 [Conf ] Johann A. Makowsky , Bernd Mahr An axiomatic approach to semantics of specification languages. [Citation Graph (0, 0)][DBLP ] Theoretical Computer Science, 1983, pp:211-219 [Conf ] Bernd Mahr A Birds Eye View to Path Problems. [Citation Graph (0, 0)][DBLP ] WG, 1980, pp:335-353 [Conf ] Hartmut Ehrig , Bernd Mahr , Ingo Claßen , Fernando Orejas Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development. [Citation Graph (0, 0)][DBLP ] Comput. J., 1992, v:35, n:5, pp:460-467 [Journal ] Hartmut Ehrig , Bernd Mahr , Ingo Claßen , Fernando Orejas Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications. [Citation Graph (0, 0)][DBLP ] Comput. J., 1992, v:35, n:5, pp:468-477 [Journal ] Hartmut Ehrig , Jacques Loeckx , Bernd Mahr A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1986, v:30, n:, pp:61-65 [Journal ] Hartmut Ehrig , Bernd Mahr Theory and Practice of Software Development: A Review of Driving Forces and Expectations. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1995, v:57, n:, pp:- [Journal ] Hartmut Ehrig , Bernd Mahr Algebraic Techniques in Software Development. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1996, v:58, n:, pp:- [Journal ] Karl-Heinz Rödiger , Wolfgang Coy , Günter Feuerstein , Rolf Günther , Werner Langenheder , Bernd Mahr , Peter Molzberger , Hartmut Przybylski , Horst Röpke , Eva Senghaas-Knobloch , Birgit Volmerg , Walter Volpert , Hellmut Weber , Herbert Wiedemann Informatik und Verantwortung, Arbeitskeis "Grenzen eines verantwortbaren Einsatzes von Informationstechnik" der Gesellschaft für Informatik. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1989, v:12, n:5, pp:281-289 [Journal ] Bernd Mahr Algebraic Complexity of Path Problems. [Citation Graph (0, 0)][DBLP ] ITA, 1982, v:16, n:3, pp:263-292 [Journal ] Hartmut Ehrig , Bernd Mahr Complexity of Algebraic Implementations for Abstract Data Types. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1981, v:23, n:2, pp:223-253 [Journal ] Hartmut Ehrig , Hans-Jörg Kreowski , Bernd Mahr , Peter Padawitz Algebraic Implementation of Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1982, v:20, n:, pp:209-263 [Journal ] Bernd Mahr , Johann A. Makowsky Characterizing Specification Languages which Admit Initial Semantics. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1984, v:31, n:, pp:49-59 [Journal ] Search in 0.066secs, Finished in 0.069secs