First-order dynamic logic :: SCD d'Orléans

First-order dynamic logic

First-order dynamic logic

Salvato in:

Dettagli Bibliografici
Autore principale:	Harel, David, 1950-
Natura:	Thèse numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 68
Soggetti:	Informatique Ordinateurs Logique symbolique et mathématique Théorie de la récursivité
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• First-order dynamic logic, David Harel, Berlin, Springer-Verlag, 1979, 1 volume (133 pages), Lecture notes in computer science, 3-540-09237-4 • First-Order Dynamic Logic, Texte imprimé, 9783662174500

Documenti analoghi

Recursion theory and computational complexity : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
di: Lolli, Gabriele, 1942-
Pubblicazione: (2011)

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Pubblicazione: (1977)

Cabal Seminar 81 85 : Proceedings, Caltech-UCLA Logic Seminar 1981 85

Cabal Seminar 79 81 : Proceedings, Caltech-UCLA Logic Seminar 1979 81

Walks on Ordinals and Their Characteristics
di: Todorčević, Stevo, 1955-...., mathématicien

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany April 15 21, 1984

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19 25, 1989

Techniques of Admissible Recursion Theory
di: Chong, Chi-Tat, 1949-...., mathématicien

Recursion on the countable functionals
di: Normann, Dag, 1947-

First order categorical logic : model-theoretical methods in the theory of topoi and related categories
di: Makkai, Mihály, 1939-, et al.

Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
di: Mycielski, Jan, 1932-2025

Computational logic - CL 2000 : First International Conference, London, UK, July 24 28, 2000 : proceedings

Automata, logics, and infinite games
di: Grädel, Erich, 1958-

Logics of programs : Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6 8, 1983

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11 14, 1994 : proceedings
di: Gabbay, Dov M., 1945-

Degrees of unsolvability
di: Sacks, Gerald, 1933-2019
Pubblicazione: (1966)

Three Views of Logic : Mathematics, Philosophy, and Computer Science
di: Loveland, Donald W., et al.
Pubblicazione: (2014)

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings

Reasoning with logic programming
di: Alferes, José Júlio, 1966-, et al.

Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers

Foundations of inductive logic programming
di: Nienhuys-Cheng, Shan-Hwei, 1943-, et al.

Computational aspects of an order-sorted logic with term declarations
di: Schmidt-Schauß, Manfred

Field-programmable logic and applications : 7th International Workshop, FPL '97 London, UK, September 1 3, 1997 : proceedings

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

Foundations of logic and functional programming : Workshop, Trento, Italy, December 15 19, 1986 : proceedings

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
di: Kakas, Antonis C.

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
di: Kakas, Antonis C.

Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
di: Dyckhoff, Roy, 1948-

Program development in computational logic : a decade of research advances in logic-based program development
di: Bruynooghe, Maurice

Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29 April 1, 1993 Proceedings

Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings

Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings

Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28 30, 1996 : proceedings

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20 22, 1995 : proceedings

Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : proceedings

Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings

Logics in artificial intelligence : 8th European Conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : Proceedings

Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
di: Alferes, José Júlio, 1966-

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR 99, Venice, Italy, September 22-24, 1999 : selected papers

Logic based program synthesis and transformation : 10th International workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales