NOPE: A Nondeterministic Program Evaluator

Dieter Kranzlmüller; Jens Jürgen Volkert

doi:10.1007/3-540-49164-3_47

NOPE: A Nondeterministic Program Evaluator

Dieter Kranzlmüller
, Jens Jürgen Volkert

Institute of Complex Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings

Original language	English
Title of host publication	Proc. ACPC 99, Intl. Conference, Salzburg, Austria
Editors	Peter Zinterhof, Marian Vajteršic, Andreas Uhl
Pages	490-499
Number of pages	10
DOIs	https://doi.org/10.1007/3-540-49164-3_47
Publication status	Published - Feb 1999

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1557
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Fields of science

101015 Operations research
101018 Statistics
102005 Computer aided design (CAD)
102011 Formal languages
106007 Biostatistics
202005 Computer architecture
202017 Embedded systems
202028 Microelectronics
202041 Computer engineering
305907 Medical statistics

Access to Document

10.1007/3-540-49164-3_47

Cite this

Kranzlmüller, D., & Volkert, J. J. (1999). NOPE: A Nondeterministic Program Evaluator. In P. Zinterhof, M. Vajteršic, & A. Uhl (Eds.), Proc. ACPC 99, Intl. Conference, Salzburg, Austria (pp. 490-499). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1557). https://doi.org/10.1007/3-540-49164-3_47

@inproceedings{49c6b5520cb641e49d9022f54eaddace,

title = "NOPE: A Nondeterministic Program Evaluator",

author = "Dieter Kranzlm{\"u}ller and Volkert, \{Jens J{\"u}rgen\}",

year = "1999",

month = feb,

doi = "10.1007/3-540-49164-3\_47",

language = "English",

isbn = "3540656413",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "490--499",

editor = "Peter Zinterhof and Marian Vajter{\v s}ic and Andreas Uhl",

booktitle = "Proc. ACPC 99, Intl. Conference, Salzburg, Austria",

}

Kranzlmüller, D & Volkert, JJ 1999, NOPE: A Nondeterministic Program Evaluator. in P Zinterhof, M Vajteršic & A Uhl (eds), Proc. ACPC 99, Intl. Conference, Salzburg, Austria. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1557, pp. 490-499. https://doi.org/10.1007/3-540-49164-3_47

NOPE: A Nondeterministic Program Evaluator. / Kranzlmüller, Dieter; Volkert, Jens Jürgen.
Proc. ACPC 99, Intl. Conference, Salzburg, Austria. ed. / Peter Zinterhof; Marian Vajteršic; Andreas Uhl. 1999. p. 490-499 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1557).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings

TY - GEN

T1 - NOPE: A Nondeterministic Program Evaluator

AU - Kranzlmüller, Dieter

AU - Volkert, Jens Jürgen

PY - 1999/2

Y1 - 1999/2

UR - https://www.scopus.com/pages/publications/67650106321

U2 - 10.1007/3-540-49164-3_47

DO - 10.1007/3-540-49164-3_47

M3 - Conference proceedings

SN - 3540656413

SN - 9783540656418

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 490

EP - 499

BT - Proc. ACPC 99, Intl. Conference, Salzburg, Austria

A2 - Zinterhof, Peter

A2 - Vajteršic, Marian

A2 - Uhl, Andreas

ER -

NOPE: A Nondeterministic Program Evaluator

Publication series

Fields of science

Access to Document

Other files and links

Cite this