-
approach is to apply foundational techniques grounded in logic, semantics, and verification. This work takes place within the CYCLIC project: Cyclic Structures in Programs and Proofs, a collaboration among
Searches related to semantic web
Enter an email to receive alerts for semantic-web positions