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