Armin Fiedler

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Erica Melis

> Home > Persons > Armin Fiedler

Publications

2002
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/SiekmannBBCFFHKMMMNPSUWZ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/SiekmannBBCFFHKMMMNPSUWZ02
Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer:
Proof Development with OMEGA. CADE 2002: 144-149
1999
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/SiekmannHBCFHKKMMPS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/SiekmannHBCFHKKMMPS99
Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge:
L<Omega>UI: Lovely <Omega>MEGA User Interface. Formal Aspects Comput. 11(3): 326-342 (1999)
1997
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BenzmullerCFFHKKKMMSSS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BenzmullerCFFHKKKMMSSS97
Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge:
Omega: Towards a Mathematical Assistant. CADE 1997: 252-255

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.