Omd.Sty: A generic framework for extensible metadata in L

Abstract

This package supplies the infrastructure for extending STEX macros with OMDoc metadata. This package is mainly intended for authors of STEX extension packages.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Almost weakly 2-generic sets.Stephen A. Fenner - 1994 - Journal of Symbolic Logic 59 (3):868-887.
Sref.Sty: Semantic crossreferencing in L.Michael Kohlhase - unknown
Reqdoc.Sty: Semantic markup for requirements specification documents.Michael Kohlhase - unknown
An infrastructure for presenting semantic macros in stex.Michael Kohlhase - unknown
Integrated access to legal literature through automated semantic classification.E. Francesconi & G. Peruginelli - 2009 - Artificial Intelligence and Law 17 (1):31-49.
Physml.Sty: An infrastructure for marking up physml in tex/l.Michael Kohlhase - unknown
Every 1-Generic Computes a Properly 1-Generic.Barbara F. Csima, Rod Downey, Noam Greenberg, Denis R. Hirschfeldt & Joseph S. Miller - 2006 - Journal of Symbolic Logic 71 (4):1385 - 1393.
A Note On Formal Reasoning with Extensible Domain.Laureano Luna - 2009 - The Reasoner 3 (7):5-6.
Recursively enumerable generic sets.Wolfgang Maass - 1982 - Journal of Symbolic Logic 47 (4):809-823.
A Mathematical Approach to Ontology Authoring and Documentation.Michael Kohlhase - unknown

Analytics

Added to PP
2010-01-26

Downloads
2 (#1,816,161)

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references