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