Bases in Diagrammatic Quantum Protocols
- 作者Bob Coecke; Simon Perdrix; Éric Oliver Paquette
- 卷第218卷
- 印刷ISSN1571-0661
- 文件大小408.29KB
- 发表时间2008
- DOI10.1016/j.entcs.2008.10.009
- 页码131-152
Elimination of Local Variables from Definite Logic ProgramsJavier Álvez; Paqui Lucio · 2005
Automatic white-box testing of first-order logic ontologiesÁlvez, Javier; Hermo, Montserrat; Lucio, Paqui; Rigau, German · Journal of Logic and Computation · 2019
[ACM Press the 2004 ACM symposium - Nicosia, Cyprus (2004.03.14-2004.03.17)] Proceedings of the 2004 ACM symposium on Applied computing - SAC '04 - Constructive negation by bottom-up computation of literal answersÁlvez, Javier; Lucio, Paqui; Orejas, Fernando · 2004
[ACM Press the Knowledge Capture Conference - Palisades, NY, USA (2015.10.07-2015.10.10)] Proceedings of the Knowledge Capture Conference on ZZZ - K-CAP 2015 - Improving the Competency of First-Order OntologiesÁlvez, Javier; Lucio, Paqui; Rigau, German · 2015
[ACM Press the Knowledge Capture Conference - Palisades, NY, USA (2015.10.07-2015.10.10)] Proceedings of the Knowledge Capture Conference on ZZZ - K-CAP 2015 - Evaluating the Competency of a First-Order OntologyÁlvez, Javier; Lucio, Paqui; Rigau, German · 2015