Zum Inhalt springen

  1. Börger, Egon [VerfasserIn] ScienceDirect (Online service)

    Computability, complexity, logic

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam; New York: North-Holland, 1989 ; New York, N.Y., U.S.A: Distributors for the U.S.A. and Canada, 1989 ; Online-Ausg.]

    Erschienen in: Studies in logic and the foundations of mathematics ; 128

  2. Börger, Egon [Sonstige Person, Familie und Körperschaft] ; CSL 7 1993 Swansea

    Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993 ; selected papers

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1994 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 83200

  3. Börger, Egon [Sonstige Person, Familie und Körperschaft] ; CSL 5 1991 Bern

    Computer science logic : 5th workshop, CSL '91, Berne, Switzerland, October 7 - 11, 1991 ; proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1992 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 62600

  4. Börger, Egon [Sonstige Person, Familie und Körperschaft] ; CSL 6 1992 San Miniato

    Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 ; selected papers

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1993 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 70200

  5. Börger, Egon [Sonstige Person, Familie und Körperschaft] ; CSL 4 1990 Heidelberg

    Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1 - 5, 1990 ; proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1991 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 53300

  6. Börger, Egon [Sonstige Person, Familie und Körperschaft] ; CSL 3 1989 Kaiserslautern

    CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2 - 6, 1989 ; proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1990 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 44000

  7. Börger, Egon [Sonstige Person, Familie und Körperschaft] ; CSL 1 1987 Karlsruhe

    CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12 - 16, 1987 ; proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1988 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 32900

  8. Börger, Egon [Sonstige Person, Familie und Körperschaft] ; CSL 2 1988 Duisburg

    CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3 - 7, 1988 ; proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1989 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 38500

  9. Börger, Egon [Sonstige Person, Familie und Körperschaft] ; Symposium Rekursive Kombinatorik 1983 Münster (Westf)

    Logic and machines: decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23 - 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1984 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 17100

  10. Börger, Egon [VerfasserIn] ; Gargantini, Angelo [Sonstige Person, Familie und Körperschaft]; Riccobene, Elvinia [Sonstige Person, Familie und Körperschaft]

    Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003

    Erschienen in: Lecture notes in computer science ; 2589

  11. Börger, Egon [VerfasserIn] ; Gurevich, Yuri [Sonstige Person, Familie und Körperschaft]; Meinke, Karl [Sonstige Person, Familie und Körperschaft]

    Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1994

    Erschienen in: Lecture notes in computer science ; 832

  12. Börger, Egon [VerfasserIn] ; Jäger, Gerhard [Sonstige Person, Familie und Körperschaft]; Kleine Büning, Hans [Sonstige Person, Familie und Körperschaft]; Richter, Michael M. [Sonstige Person, Familie und Körperschaft]

    Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1992

    Erschienen in: Lecture notes in computer science ; 626

  13. Börger, Egon [VerfasserIn] ; Jäger, Gerhard [Sonstige Person, Familie und Körperschaft]; Kleine Büning, Hans [Sonstige Person, Familie und Körperschaft]; Martini, Simone [Sonstige Person, Familie und Körperschaft]; Richter, Michael M. [Sonstige Person, Familie und Körperschaft]

    Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1993

    Erschienen in: Lecture notes in computer science ; 702

  14. Börger, Egon [VerfasserIn] ; Kleine Büning, Hans [Sonstige Person, Familie und Körperschaft]; Richter, Michael M. [Sonstige Person, Familie und Körperschaft]; Schönfeld, Wolfgang [Sonstige Person, Familie und Körperschaft]

    Computer Science Logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1991

    Erschienen in: Lecture notes in computer science ; 533

  15. Börger, Egon [VerfasserIn] ; Kleine Büning, Hans [Sonstige Person, Familie und Körperschaft]; Richter, Michael M. [Sonstige Person, Familie und Körperschaft]

    CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1990

    Erschienen in: Lecture notes in computer science ; 440

  16. Börger, Egon [VerfasserIn] ; Kleine Büning, Hans [Sonstige Person, Familie und Körperschaft]; Richter, Michael M. [Sonstige Person, Familie und Körperschaft]

    CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1988

    Erschienen in: Lecture notes in computer science ; 329

  17. Börger, Egon [VerfasserIn] ; Kleine Büning, Hans [Sonstige Person, Familie und Körperschaft]; Richter, Michael M. [Sonstige Person, Familie und Körperschaft]

    CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1989

    Erschienen in: Lecture notes in computer science ; 385

  18. Börger, Egon [VerfasserIn] ; Oberschelp, Walter [HerausgeberIn]; Richter, Michael M. [HerausgeberIn]; Schinzel, Brigitta [HerausgeberIn]; Thomas, Wolfgang [HerausgeberIn]

    Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1984

    Erschienen in: Lecture notes in mathematics ; 1104