Тема, жанр, tags: Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Symbolic and Algebraic Manip » Page 353 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Symbolic and Algebraic Manip » Page 353

book Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers

Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers

pdf

Author: Roswitha Bardohl Martin Groβe-Rhode (auth.) Maura Cerioli Gianna Reggio (eds.)
Language: English
Year: 2001

00

26.01.2024

2

0

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

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

djvu

Author: Klaus Ambos-Spies Jürgen Kämper (auth.) Egon Börger Hans Kleine Büning Michael M. Richter (eds.)
Language: English
Year: 1989

00

26.01.2024

0

0

book Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

djvu

Author: Edmund M. Clarke Jr. (auth.) Edmund M. Clarke Robert P. Kurshan (eds.)
Language: English
Year: 1991

00

26.01.2024

2

0

book Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

pdf

Author: Frédéric Blanqui Jean-Pierre Jouannaud Albert Rubio (auth.) Michael Kaminski Simone Martini (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings

Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings

djvu

Author: William McCune (auth.) Hubert Comon (eds.)
Language: English
Year: 1997

00

26.01.2024

0

0

book Principles and Practice of Constraint Programming-CP97: Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings

Principles and Practice of Constraint Programming-CP97: Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings

djvu

Author: Pascal Van Hentenryck (auth.) Gert Smolka (eds.)
Language: English
Year: 1997

00

26.01.2024

0

0

book Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

djvu

Author: Ilies Alouini Claude Kirchner (auth.) Michael Hanus Mario Rodríguez-Artalejo (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Unconventional Programming Paradigms: International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers

Unconventional Programming Paradigms: International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers

pdf

Author: Philippe Jorrand Marie Lalire (auth.) Jean-Pierre Banâtre Pascal Fradet Jean-Louis Giavitto Olivier Michel (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings

Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings

pdf

Author: Ahmed Bouajjani Peter Habermehl Yan Jurski Mihaela Sighireanu (auth.) Erzsébet Csuhaj-Varjú Zoltán Ésik (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Compiler Construction: 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Compiler Construction: 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

pdf

Author: Marjan Mernik Mitja Lenič Enis Avdičaušević Viljem Žumer (auth.) R. Nigel Horspool (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0