Computer logic.
Overview
| Works: | 56 works in 46 publications in 46 languages | |
|---|---|---|
Titles
Program development in computational logic = a decade of research advances in logic-based program development /
by:
(Electronic resources)
SDL 2015 = model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 2015 = 12th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings /
by:
(Electronic resources)
Programming languages with applications to biology and security = essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(Electronic resources)
The logician and the engineer = how George Boole and Claude Shannon created the information age /
by:
(Electronic resources)
Applied logic for computer scientists = computational deduction and formal proofs /
by:
(Electronic resources)
Program development in computational logic = a decade of research advances in logic-based program development /
by:
(Language materials, printed)
Reachability problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
(Electronic resources)
Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings /
by:
(Electronic resources)
Testing Software and Systems = 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings /
by:
(Electronic resources)
Globalizing domain-specific languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(Electronic resources)
Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
by:
(Electronic resources)
Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
(Electronic resources)
Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
(Electronic resources)
Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
(Electronic resources)
Foundations of information and knowledge systems = 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020 : proceedings /
by:
(Electronic resources)
Nonsequential and distributed programming with Go = synchronization of concurrent processes: communication - cooperation - competition /
by:
(Electronic resources)
Description logic, theory combination, and all that = essays dedicated to Franz Baader on the occasion of his 60th birthday /
by:
(Electronic resources)
Computers, people, and thought = from data mining to evolutionary robotics /
by:
(Electronic resources)
Functional and logic programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /
by:
(Electronic resources)
Logic, language, and security = essays dedicated to Andre Scedrov on the occasion of his 65th birthday /
by:
(Electronic resources)
Fundamentals of logic and computation = with practical automated reasoning and verification /
by:
(Electronic resources)
Logic, computation and rigorous methods = essays dedicated to Egon Borger on the occasion of his 75th birthday /
by:
(Electronic resources)
From computational logic to computational biology = essays dedicated to Alfredo Ferro to celebrate his scientific career /
by:
(Electronic resources)
Logics and type systems in theory and practice = essays dedicated to Herman Geuvers on the occasion of his 60th birthday /
by:
(Electronic resources)
The logic of software = a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday /
by:
(Electronic resources)
Specification and verification of declarative open interaction models = a logic-based approach /
by:
(Language materials, printed)
Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(Electronic resources)
Logic, rewriting, and concurrency = essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
(Electronic resources)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(Electronic resources)
A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(Electronic resources)
Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(Electronic resources)
Deductive software verification - The KeY Book = from theory to practice /
by:
(Electronic resources)
Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday /
by:
(Electronic resources)
Unconventional computation and natural computation = 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017 : proceedings /
by:
(Electronic resources)
Thinking programs = logical modeling and reasoning about languages, data, computations, and executions /
by:
(Electronic resources)
Show more
Fewer
Subjects