Skip to Main Content (Press Enter)
×
Home
People
Outputs
Organizations
Expertise & Skills
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
People
Outputs
Organizations
Expertise & Skills
☰
Outputs
ACM SIGPLAN NOTICES
Journal
Identifier:
E001487
ISSN:
1523-2867
Overview
Overview
Outputs (2)
Semantics Preserving Transformation Rules for Prolog
Academic Article
Types for Path Correctness of XML Queries
Conference Paper
No Results Found
