bounded nondeterminism
Recently Published Documents

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A unified rule format for bounded nondeterminism in SOS with terms as labels

Journal of Logical and Algebraic Methods in Programming ◽

10.1016/j.jlamp.2017.03.002 ◽

2017 ◽

Vol 92 ◽

pp. 64-86

Author(s):

L. Aceto ◽

I. Fábregas ◽

A. García-Pérez ◽

A. Ingólfsdóttir

Keyword(s):

Bounded Nondeterminism

Download Full-text

Rule Formats for Bounded Nondeterminism in Structural Operational Semantics

Semantics, Logics, and Calculi - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27810-0_16 ◽

2015 ◽

pp. 313-343 ◽

Author(s):

Luca Aceto ◽

Álvaro García-Pérez ◽

Anna Ingólfsdóttir

Keyword(s):

Operational Semantics ◽

Structural Operational Semantics ◽

Bounded Nondeterminism

Download Full-text

Bounded Nondeterminism of Logic Programs

Annals of Mathematics and Artificial Intelligence ◽

10.1023/b:amai.0000038175.53999.3a ◽

2004 ◽

Vol 42 (4) ◽

pp. 313-343

Author(s):

Dino Pedreschi ◽

Salvatore Ruggieri

Keyword(s):

Logic Programs ◽

Bounded Nondeterminism

Download Full-text

Bounded nondeterminism and alternation in parameterized complexity theory

18th IEEE Annual Conference on Computational Complexity, 2003. Proceedings. ◽

10.1109/ccc.2003.1214407 ◽

2004 ◽

Author(s):

Y. Chen ◽

J. Flum ◽

M. Grohe

Keyword(s):

Complexity Theory ◽

Parameterized Complexity ◽

Bounded Nondeterminism

Download Full-text

Structural operational semantics and bounded nondeterminism

Acta Informatica ◽

10.1007/s00236-003-0111-1 ◽

2003 ◽

Vol 39 (6) ◽

pp. 501-516 ◽

Author(s):

Wan Fokkink ◽

Thuy Duong Vu

Keyword(s):

Operational Semantics ◽

Structural Operational Semantics ◽

Bounded Nondeterminism

Download Full-text

Molecular Computing, Bounded Nondeterminism, and Efficient Recursion

Algorithmica ◽

10.1007/pl00008275 ◽

1999 ◽

Vol 25 (2-3) ◽

pp. 222-238 ◽

Author(s):

R. Beigel ◽

B. Fu

Keyword(s):

Molecular Computing ◽

Bounded Nondeterminism

Download Full-text

Bounded Nondeterminism of Logic Programs

Logic Programming ◽

10.7551/mitpress/4304.003.0032 ◽

1999 ◽

Keyword(s):

Logic Programs ◽

Bounded Nondeterminism

Download Full-text

Pushdown automata with bounded nondeterminism and bounded ambiguity

Theoretical Computer Science ◽

10.1016/s0304-3975(96)00267-8 ◽

1997 ◽

Vol 181 (1) ◽

pp. 141-157 ◽

Author(s):

Christian Herzog

Keyword(s):

Pushdown Automata ◽

Bounded Nondeterminism

Download Full-text

Molecular computing, bounded nondeterminism, and efficient recursion

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-63165-8_234 ◽

1997 ◽

pp. 816-826 ◽

Author(s):

Richard Beigel ◽

Bin Fu

Keyword(s):

Molecular Computing ◽

Bounded Nondeterminism

Download Full-text

Pushdown automata with bounded nondeterminism and bounded ambiguity

LATIN '95: Theoretical Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-59175-3_102 ◽

1995 ◽

pp. 358-370 ◽

Author(s):

Christian Herzog

Keyword(s):

Pushdown Automata ◽

Bounded Nondeterminism

Download Full-text