Dirk Pattinson

Identifiers

Open LibraryOL7557691A

Top Subjects

Computer science, mathematics (1)
Computer software, development (1)
Abstract data types (computer science) (1)
Logics and Meanings of Programs (1)
Computer science (1)
Mathematical Logic and Formal Languages (1)
Computation by Abstract Devices (1)

Books by Dirk Pattinson

Total count: 3

Recent Trends in Algebraic Development Techniques16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Springer London, Limited2003-01-01
Coalgebraic Methods in Computer Science11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers

Springer Berlin Heidelberg2012-01-01
Automated Reasoning11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Springer International Publishing AG2022-01-01