Skip to contents Winskel, Glynn [Author] The formal semantics of programming languages : an introduction - [2. printing.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass. [u.a.]: MIT Press, 1994 Published in: Foundations of computing series Walther, Christoph [Author] Semantik und Programmverifikation - [1. Aufl.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig; Wiesbaden: Teubner, 2001 Published in: Teubner-Texte zur Informatik ; 34 Klar, Marcus [Author] A semantical framework for the integration of object-oriented modeling languages Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1999 Jürgensen, Claus [Author] Categorical semantics and composition of tree transducers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2003 Barthe, Gilles [Editor] ; International Summer School on Applied Semantics 2000 Caminha Applied semantics : international summer school ; advanced lectures Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2395 Alves-Foss, Jim [Editor] Formal syntax and semantics of Java Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1523 Best, Eike [Author] Semantik : Theorie sequentieller und paralleler Programmierung Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Braunschweig; Wiesbaden: Vieweg, 1995 Published in: Lehrbücher Informatik Winskel, Glynn [Author] The formal semantics of programming languages : an introduction Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass. [u.a.]: MIT Press, 1993 Published in: Foundations of computing series Li, Chunping [Author] Reasoning about processes and continuous change : analysis and implementation - [Als Ms. gedr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 1999 Published in: Berichte aus der Informatik Gordon, Andrew D. [Editor]; Pitts, Andrew M. [Other] ; Workshop on Higher Order Operational Techniques in Semantics 1995 Cambridge Higher order operational techniques in semantics : HOOTS - [1. publ.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Pr., 1998 Published in: Isaac Newton Institute for Mathematical Sciences: Publications of the Newton Institute ; 12 Breugel, Franck van [Author] Comparative metric semantics of programming languages : nondeterminism and recursion Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Basel; Berlin: Birkhäuser, 1998 Published in: Progress in theoretical computer science Dix, Jürgen [Editor] ; LPKR 3 1997 Port Jefferson, NY Logic programming and knowledge representation : third international workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997; selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 1998 Published in: Lecture notes in computer science ; 1471 MacCusker, Guy [Author] Games and full abstraction for a functional metalanguage with recursive types Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1998 Published in: Distinguished dissertations Zhang, Guo-Qiang [Author] Logic of domains Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston [u.a.]: Birkhäuser, 1991 Published in: Progress in theoretical computer science ; 4 Symposium on Logic in Computer Science 6 1991 Amsterdam Proceedings / Sixth Annual IEEE Symposium on Logic in Computer Science : July 15 - 18, 1991, Amsterdam, The Netherlands Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Los Alamitos, Calif. [u.a.]: IEEE Computer Society Press, 1991 Pitts, Andrew M. [Editor]; Dybjer, Peter [Editor] ; Summer School on Semantics and Logics of Computation 1995 Cambridge Semantics and logics of computation : [based on material presented at a Summer School on Semantics and Logics of Computation that took place at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK, in September 1995] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, UK [u.a.]: Cambridge Univ. Press, 1997 Published in: Isaac Newton Institute for Mathematical Sciences: Publications of the Newton Institute ; 14 Palamidessi, Catuscia [Editor] ; PLILP 10 1998 Pisa, ALP 7 1998 Pisa Principles of declarative programming : 10th International Symposium, PLILP '98, held jointly with the 6th International Conference, ALP '98, Pisa, Italy, September 16 - 18, 1998; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1490 Snyers, Dominique [Author]; Thayse, André [Author] From logic design to logic programming : theorem proving techniques and P-functions Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1987 Published in: Lecture notes in computer science ; 271 Dawar, Anuj [Editor]; Veith, Helmut [Other] ; CSL 24 2010 Brünn Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6247 Janhunen, Tomi [Editor]; Niemelä, Ilkka [Other] ; JELIA 12 2010 Helsinki Logics in artificial intelligence : 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6341
Winskel, Glynn [Author] The formal semantics of programming languages : an introduction - [2. printing.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass. [u.a.]: MIT Press, 1994 Published in: Foundations of computing series
Walther, Christoph [Author] Semantik und Programmverifikation - [1. Aufl.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig; Wiesbaden: Teubner, 2001 Published in: Teubner-Texte zur Informatik ; 34
Klar, Marcus [Author] A semantical framework for the integration of object-oriented modeling languages Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1999
Jürgensen, Claus [Author] Categorical semantics and composition of tree transducers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2003
Barthe, Gilles [Editor] ; International Summer School on Applied Semantics 2000 Caminha Applied semantics : international summer school ; advanced lectures Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2395
Alves-Foss, Jim [Editor] Formal syntax and semantics of Java Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1523
Best, Eike [Author] Semantik : Theorie sequentieller und paralleler Programmierung Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Braunschweig; Wiesbaden: Vieweg, 1995 Published in: Lehrbücher Informatik
Winskel, Glynn [Author] The formal semantics of programming languages : an introduction Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass. [u.a.]: MIT Press, 1993 Published in: Foundations of computing series
Li, Chunping [Author] Reasoning about processes and continuous change : analysis and implementation - [Als Ms. gedr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 1999 Published in: Berichte aus der Informatik
Gordon, Andrew D. [Editor]; Pitts, Andrew M. [Other] ; Workshop on Higher Order Operational Techniques in Semantics 1995 Cambridge Higher order operational techniques in semantics : HOOTS - [1. publ.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Pr., 1998 Published in: Isaac Newton Institute for Mathematical Sciences: Publications of the Newton Institute ; 12
Breugel, Franck van [Author] Comparative metric semantics of programming languages : nondeterminism and recursion Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Basel; Berlin: Birkhäuser, 1998 Published in: Progress in theoretical computer science
Dix, Jürgen [Editor] ; LPKR 3 1997 Port Jefferson, NY Logic programming and knowledge representation : third international workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997; selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 1998 Published in: Lecture notes in computer science ; 1471
MacCusker, Guy [Author] Games and full abstraction for a functional metalanguage with recursive types Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1998 Published in: Distinguished dissertations
Zhang, Guo-Qiang [Author] Logic of domains Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston [u.a.]: Birkhäuser, 1991 Published in: Progress in theoretical computer science ; 4
Symposium on Logic in Computer Science 6 1991 Amsterdam Proceedings / Sixth Annual IEEE Symposium on Logic in Computer Science : July 15 - 18, 1991, Amsterdam, The Netherlands Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Los Alamitos, Calif. [u.a.]: IEEE Computer Society Press, 1991
Pitts, Andrew M. [Editor]; Dybjer, Peter [Editor] ; Summer School on Semantics and Logics of Computation 1995 Cambridge Semantics and logics of computation : [based on material presented at a Summer School on Semantics and Logics of Computation that took place at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK, in September 1995] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, UK [u.a.]: Cambridge Univ. Press, 1997 Published in: Isaac Newton Institute for Mathematical Sciences: Publications of the Newton Institute ; 14
Palamidessi, Catuscia [Editor] ; PLILP 10 1998 Pisa, ALP 7 1998 Pisa Principles of declarative programming : 10th International Symposium, PLILP '98, held jointly with the 6th International Conference, ALP '98, Pisa, Italy, September 16 - 18, 1998; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1490
Snyers, Dominique [Author]; Thayse, André [Author] From logic design to logic programming : theorem proving techniques and P-functions Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1987 Published in: Lecture notes in computer science ; 271
Dawar, Anuj [Editor]; Veith, Helmut [Other] ; CSL 24 2010 Brünn Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6247
Janhunen, Tomi [Editor]; Niemelä, Ilkka [Other] ; JELIA 12 2010 Helsinki Logics in artificial intelligence : 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6341
> Media type Skip to next facet Books (105) Wert ausschließen Thesis (2) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (3) Wert ausschließen Stack Collection (38) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (39) Wert ausschließen TU Dresden holdings (2) Wert ausschließen Central Library (2) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution (CC BY) (5) Wert ausschließen In Copyright (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (26) Wert ausschließen Without Specification (40) Wert ausschließen Show more show less
> Language Skip to next facet English (97) Wert ausschließen German (10) Wert ausschließen Not determined (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (72) Wert ausschließen Mathmatics (24) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (4) Wert ausschließen General sciences (2) Wert ausschließen Philosophy (2) Wert ausschließen History (1) Wert ausschließen Psychology (1) Wert ausschließen Technology (1) Wert ausschließen Economics (1) Wert ausschließen Show more show less
> Creator Skip to next facet European Association for Computer Science Logic (16) Wert ausschließen Nerode, Anil (7) Wert ausschließen Artemov, Sergei (5) Wert ausschließen Artemov, Sergej N. (3) Wert ausschließen Grönniger, Hans (3) Wert ausschließen Guttmann, Walter (3) Wert ausschließen Jürgensen, Claus (3) Wert ausschließen Marcinkowski, Jerzy (3) Wert ausschließen Probst, Christian W. (3) Wert ausschließen Alves-Foss, Jim (2) Wert ausschließen Baaz, Matthias (2) Wert ausschließen Barthe, Gilles (2) Wert ausschließen Bradfield, Julian (2) Wert ausschließen Dawar, Anuj (2) Wert ausschließen Dix, Jürgen (2) Wert ausschließen Duparc, Jacques (2) Wert ausschließen Dybjer, Peter (2) Wert ausschließen Engelmann, Björn (2) Wert ausschließen Flesca, Sergio (2) Wert ausschließen Flum, Jörg (2) Wert ausschließen Fribourg, Laurent (2) Wert ausschließen George, Chris W. (2) Wert ausschließen Gerlich, Ralf (2) Wert ausschließen Grädel, Erich (2) Wert ausschließen Hutchison, David (2) Wert ausschließen Hölldobler, Steffen (2) Wert ausschließen Ianni, Giovambattista (2) Wert ausschließen Janhunen, Tomi (2) Wert ausschließen Kahle, Reinhard (2) Wert ausschließen Kaminski, Michael (2) Wert ausschließen Kanade, Takeo (2) Wert ausschließen Kittler, Josef (2) Wert ausschließen Kleinberg, Jon (2) Wert ausschließen Kohlenbach, Ulrich (2) Wert ausschließen Liu, Zhiming (2) Wert ausschließen Makowsky, Johann M. (2) Wert ausschließen Martini, Simone (2) Wert ausschließen Mattern, Friedemann (2) Wert ausschließen Mitchell, John C. (2) Wert ausschließen Moss, Lawrence S. (2) Wert ausschließen Naor, Moni (2) Wert ausschließen Nierstrasz, Oscar (2) Wert ausschließen Olderog, Ernst-Rüdiger (2) Wert ausschließen Ong, Luke (2) Wert ausschließen Palamidessi, Catuscia (2) Wert ausschließen Pandu Rangan, C. (2) Wert ausschließen Pitts, Andrew M. (2) Wert ausschließen Queiroz, Ruy (2) Wert ausschließen Rumpe, Bernhard (2) Wert ausschließen Snyers, Dominique (2) Wert ausschließen Steffen, Bernhard (2) Wert ausschließen Sudan, Madhu (2) Wert ausschließen Tarlecki, Andrzej (2) Wert ausschließen Terzopoulos, Demetri (2) Wert ausschließen Thayse, André (2) Wert ausschließen Tygar, Doug (2) Wert ausschließen Vardi, Moshe Y. (2) Wert ausschließen Veith, Helmut (2) Wert ausschließen Weikum, Gerhard (2) Wert ausschließen Winskel, Glynn (2) Wert ausschließen Woodcock, Jim (2) Wert ausschließen de Queiroz, Ruy (2) Wert ausschließen ALP 7 1998 Pisa (1) Wert ausschließen Annual Conference on Computer Science Logic 24. 2015 Berlin (1) Wert ausschließen Baier, Christel (1) Wert ausschließen Barceló, Pablo (1) Wert ausschließen Beckstein, Clemens (1) Wert ausschließen Best, Eike (1) Wert ausschließen Boer, Frank S. de (1) Wert ausschließen Bohlmann, Karsten (1) Wert ausschließen Breugel, Franck van (1) Wert ausschließen Böhm, C. (1) Wert ausschließen Böhm, Corrado (1) Wert ausschließen CSL 13 1999 Madrid (1) Wert ausschließen CSL 15 2001 Paris (1) Wert ausschließen CSL 16 2002 Edinburgh (1) Wert ausschließen CSL 18 2004 Karpacz (1) Wert ausschließen CSL 19 2005 Oxford (1) Wert ausschließen CSL 21 2007 Lausanne (1) Wert ausschließen CSL 22 2008 Bertinoro (1) Wert ausschließen CSL 23 2009 Coimbra (1) Wert ausschließen CSL 24 2010 Brünn (1) Wert ausschließen CSL 26 2012 Fontainebleau (1) Wert ausschließen CSL 28. 2020 Barcelona (1) Wert ausschließen CSL 30. 2022 Online (1) Wert ausschließen Carbonell, Jaime G. (1) Wert ausschließen Cerro, Luís Fariñas (1) Wert ausschließen Clote, Peter G. (1) Wert ausschließen Computer Science Logic 26 2017 Stockholm (1) Wert ausschließen Cégielski, Patrick (1) Wert ausschließen Dam, Mads (1) Wert ausschließen Durand, Arnaud (1) Wert ausschließen EACSL Annual Conference on Computer Science Logic 29. 2021 Online (1) Wert ausschließen EACSL Annual Conference on Computer Science Logic 31. 2023 Warschau (1) Wert ausschließen EACSL Annual Conference on Computer Science Logic 32. 2024 Neapel (1) Wert ausschließen Erdem, Esra (1) Wert ausschließen Fermé, Eduardo (1) Wert ausschließen Fernández, Maribel (1) Wert ausschließen Fisher, Michael (1) Wert ausschließen Gabbay, Dov M. (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (99) Wert ausschließen Lizenzfreie Online-Ressourcen (18) Wert ausschließen Diss online (6) Wert ausschließen Abschlussarbeiten der TU Dresden (3) Wert ausschließen BASE - Bielefeld Academic Search Engine (2) Wert ausschließen OPARU (OPen Access Repository of Ulm University) (1) Wert ausschließen Scientific publications of the Saarland University (UdS) (1) Wert ausschließen Show more show less