Fernández, Maribel.
Fernandez, M
VIAF ID: 214164958 ( Personal )
Permalink: http://viaf.org/viaf/214164958
Preferred Forms
- 100 1 _ ‡a Fernandez, M
- 100 1 _ ‡a Fernández, Maribel
- 100 1 _ ‡a Fernández, Maribel
-
-
5xx's: Related Names (1)
- 510 2 _ ‡a King's College London
Works
Title | Sources |
---|---|
AC complement problems : satisfiability and negation elimination | |
Confluence d'ordre supérieur et encodage d'univers dans le Logical Framework. | |
Graph Transformation : 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings | |
Higher-Order Confluence and Universe Embedding in the Logical Framework | |
Horas de mil minutos | |
Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings | |
Models of computation, 2009: | |
Modularity properties of term rewriting systems revisited | |
Narrowing based procedures for equational disunification | |
Negation elimination in equational formulae | |
Programming Languages and Operational Semantics : A Concise Overview | |
Static analysis of pattern eliminating transformations. |