Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Add ACM subject classification entries

This commit is contained in:
Nicolas Méric 2022-02-08 12:51:46 +01:00
parent 00511848ed
commit f99be4d3a3
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
examples/scholarly_paper/2021-ITP-PMTI/document/preamble.tex
View File

@ -34,3 +34,7 @@
\Copyright{Idir Ait-Sadoune, Nicolas Méric, and Burkhart Wolff}
\authorrunning{I. Ait-Sadoune, N. Méric and B. Wolff}
\keywords{Ontologies, Formal Documents, Formal Development, Isabelle/HOL, Ontology Mapping}
\ccsdesc{Computing methodologies~Ontology engineering}
\ccsdesc{Information systems~Ontologies}
\ccsdesc{Theory of computation~Interactive proof systems}
\ccsdesc{Theory of computation~Higher order logic}