Peter Schneider-Kamp
AuthID: R-00G-Z6G
1
TITLE: Formally Verifying the Solution to the Boolean Pythagorean Triples Problem Full Text
AUTHORS: Cruz Filipe, L; Marques Silva, J ; Schneider Kamp, P;
PUBLISHED: 2019, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 63, ISSUE: 3
AUTHORS: Cruz Filipe, L; Marques Silva, J ; Schneider Kamp, P;
PUBLISHED: 2019, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 63, ISSUE: 3
INDEXED IN: 
Scopus 
WOS 
Unpaywall
Scopus WOS Unpaywall2
TITLE: Formally Verifying the Solution to the Boolean Pythagorean Triples Problem Full Text
AUTHORS: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLISHED: 2018, SOURCE: Journal of Automated Reasoning, VOLUME: 63, ISSUE: 3
AUTHORS: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLISHED: 2018, SOURCE: Journal of Automated Reasoning, VOLUME: 63, ISSUE: 3
3
TITLE: Efficient Certified Resolution Proof Checking
AUTHORS: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLISHED: 2017, SOURCE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
AUTHORS: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLISHED: 2017, SOURCE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
4
TITLE: Integrity Constraints for General-Purpose Knowledge Bases
AUTHORS: Luís Cruz-Filipe; Isabel Nunes; Peter Schneider-Kamp;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems
AUTHORS: Luís Cruz-Filipe; Isabel Nunes; Peter Schneider-Kamp;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems
INDEXED IN: 
CrossRef
CrossRef5
TITLE: Active Integrity Constraints for Multi-context Systems
AUTHORS: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes; Peter Schneider Kamp;
PUBLISHED: 2016, SOURCE: 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW) in KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, EKAW 2016, VOLUME: 10024
AUTHORS: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes; Peter Schneider Kamp;
PUBLISHED: 2016, SOURCE: 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW) in KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, EKAW 2016, VOLUME: 10024
INDEXED IN: Scopus WOS
Scopus WOS6
TITLE: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark Full Text
AUTHORS: Peter Schneider Kamp; Michael Hanus;
PUBLISHED: 2011, SOURCE: PPDP
AUTHORS: Peter Schneider Kamp; Michael Hanus;
PUBLISHED: 2011, SOURCE: PPDP
INDEXED IN: 
DBLP
DBLP7
TITLE: Proceedings of the 13th International ACM SIGPLAN Symposium on Principles and Practices of Declarative Programming
AUTHORS: Peter Schneider Kamp;
PUBLISHED: 2011
AUTHORS: Peter Schneider Kamp;
PUBLISHED: 2011
INDEXED IN: 
Openlibrary
Openlibrary