The Term Processor Generator

☆ Save

Peter van Eijk,Axel Belinfante,Henk Eertink,Henk Alblas

TACAS

published 1st of January, 1997

Comments 0

No comments yet. Be the first to say something about this.

Looking for a structured thread — a question, a reproduction problem, a benchmark result? Start a discussion instead.

Read the paper

Details

HuggingPeers ID: ID hpp-YMGwW7kBeSE
Publication: TACAS
Published: 1st of January, 1997

Provenance 1

Source	ID	Citations
DBLP	conf/tacas/EijkBEA97	—

Cite this paper

@article{eijk1997,
  title = {The Term Processor Generator},
  author = {Peter van Eijk and Axel Belinfante and Henk Eertink and Henk Alblas},
  journal = {TACAS},
  year = {1997},
  month = {Jan},
  doi = {10.1007/bfb0035383},
  url = {https://doi.org/10.1007/bfb0035383},
}

Peter van Eijk et al. (1997). The Term Processor Generator. TACAS. https://doi.org/10.1007/bfb0035383

Peter van Eijk, et al.. "The Term Processor Generator." TACAS, 1997, https://doi.org/10.1007/bfb0035383.

Peter van Eijk, et al.. "The Term Processor Generator." TACAS (1997). https://doi.org/10.1007/bfb0035383

Peter van Eijk et al., 1997. The Term Processor Generator. TACAS. Available at: <https://doi.org/10.1007/bfb0035383>.

TY  - JOUR
TI  - The Term Processor Generator
AU  - Peter van Eijk
AU  - Axel Belinfante
AU  - Henk Eertink
AU  - Henk Alblas
PY  - 1997
JO  - TACAS
DO  - 10.1007/bfb0035383
UR  - https://doi.org/10.1007/bfb0035383
ER  -