Skolemising blank nodes while preserving isomorphism

Hogan A.

Más información

Título según SCOPUS: Skolemising blank nodes while preserving isomorphism
Título de la Revista: ACM International Conference Proceeding Series
Editorial: Association for Computing Machinery
Fecha de publicación: 2015
Página de inicio: 430
Página final: 440
Idioma: English
DOI:

10.1145/2736277.2741653

Notas: SCOPUS