Computer logic.
Overview
| Works: | 63 works in 54 publications in 54 languages | |
|---|---|---|
Titles
Program development in computational logica decade of research advances in logic-based program development /
by:
(Electronic resources)
Specification and verification of declarative open interaction modelsa logic-based approach /
by:
(Electronic resources)
Computational logic and set theoryapplying formalized logic to analysis /
by:
(Electronic resources)
Asynchronous operators of sequential logicvenjunction & sequention : digital circuit analysis and design /
by:
(Electronic resources)
Real-world reasoningtoward scalable, uncertain spatiotemporal, contextual and causal inference /
by:
(Electronic resources)
Logic and program semanticsessays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(Electronic resources)
Logic, rewriting, and concurrencyessays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
(Electronic resources)
Reachability problems9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
(Electronic resources)
SDL 2015model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 201512th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings /
by:
(Electronic resources)
Programming languages with applications to biology and securityessays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(Electronic resources)
Dependable software engineeringtheories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings /
by:
(Electronic resources)
Testing Software and Systems27th 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 languagesInternational Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(Electronic resources)
Hardware and softwareverification 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 reasoning20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
(Electronic resources)
Theory and practice of formal methodsessays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(Electronic resources)
A list of successes that can change the worldessays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(Electronic resources)
The logician and the engineerhow George Boole and Claude Shannon created the information age /
by:
(Electronic resources)
Reversible computation8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(Electronic resources)
Formal methods and software engineering18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
(Electronic resources)
Hardware and softwareverification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
(Electronic resources)
Applied logic for computer scientistscomputational deduction and formal proofs /
by:
(Electronic resources)
Models, algorithms, logics and toolsessays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday /
by:
(Electronic resources)
Unconventional computation and natural computation16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017 : proceedings /
by:
(Electronic resources)
Representation theorems in computer sciencea treatment in logic engineering /
by:
(Electronic resources)
Unconventional computation and natural computation17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018 : proceedings /
by:
(Electronic resources)
Foundations of information and knowledge systems11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020 : proceedings /
by:
(Electronic resources)
Fields of logic and computation IIIessays dedicated to Yuri Gurevich on the the occasion of his 80th birthday /
by:
(Electronic resources)
Computers, people, and thoughtfrom data mining to evolutionary robotics /
by:
(Electronic resources)
Functional and logic programming15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /
by:
(Electronic resources)
Description logic, theory combination, and all thatessays dedicated to Franz Baader on the occasion of his 60th birthday /
by:
(Electronic resources)
Logic, language, and securityessays dedicated to Andre Scedrov on the occasion of his 65th birthday /
by:
(Electronic resources)
Nonsequential and distributed programming with Gosynchronization of concurrent processes: communication - cooperation - competition /
by:
(Electronic resources)
Thinking programslogical modeling and reasoning about languages, data, computations, and executions /
by:
(Electronic resources)
Fundamentals of logic and computationwith practical automated reasoning and verification /
by:
(Electronic resources)
Logic, computation and rigorous methodsessays dedicated to Egon Borger on the occasion of his 75th birthday /
by:
(Electronic resources)
The logic of softwarea tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday /
by:
(Electronic resources)
Logics and type systems in theory and practiceessays dedicated to Herman Geuvers on the occasion of his 60th birthday /
by:
(Electronic resources)
From computational logic to computational biologyessays dedicated to Alfredo Ferro to celebrate his scientific career /
by:
(Electronic resources)
Nonsequential and distributed programming with Gosynchronization of concurrent processes /
by:
(Electronic resources)
Show more
Fewer
Subjects