Languages
Pattinson, Dirk.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Coalgebraic methods in computer science = 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers /
by:
Pattinson, Dirk.; Schroder, Lutz.; SpringerLink (Online service)
(Electronic resources)
Automated reasoning = 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022 : proceedings /
by:
IJCAR (Conference) (2022 :); Blanchette, Jasmin.; Pattinson, Dirk.; SpringerLink (Online service); Kovacs, Laura.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Automatic theorem proving
Computer science- Mathematics
Computer logic
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Formal Languages and Automata Theory.
Artificial Intelligence.
Computer software- Mathematics
Computer Science.
Probability and Statistics in Computer Science.