You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (34)

Journals (0)

1-10 of 34 results for Nondeterministic Programming

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Algorithmic logic with nondeterministic programs 1

Retricted access

Research article

First published 1980

Algorithmic logic with nondeterministic programs 1

Grażyna Mirkowska

Fundamenta Informaticae

Select article: Nondeterministic Programming in Java with JSetL

Retricted access

Research article

First published 2015-10

Nondeterministic Programming in Java with JSetL

Gianfranco Rossi, Federico Bergenti

Fundamenta Informaticae

Select article: On Connections Between Parallel Programs and Nondeterministic Sequential Programs

Retricted access

Research article

First published 1983

On Connections Between Parallel Programs and Nondeterministic Sequential Programs

Zenon Sadowski

Fundamenta Informaticae

Select article: Nondeterministic Programs Definable in Typed λ -Calculus

Retricted access

Research article

First published 1985

Nondeterministic Programs Definable in Typed λ -Calculus

Marek Zaionc

Fundamenta Informaticae

Select article: Infinite Unfolding and Transformations of Nondeterministic Programs

Retricted access

Research article

First published 2005-7

Infinite Unfolding and Transformations of Nondeterministic Programs

Bjórn Lisper

Fundamenta Informaticae

Select article: Low-deterministic security for low-nondeterministic programs 1

Retricted access

Research article

First published 2018-4-9

Low-deterministic security for low-nondeterministic programs 1

Simon Bischof, Joachim Breitner, Jürgen Graf [...]

Journal of Computer Security

Select article: A Transformation of Nondeterministic Recursive Programs to Deterministic Efficient Ones 1

Retricted access

Research article

First published 1987

A Transformation of Nondeterministic Recursive Programs to Deterministic Efficient Ones 1

Raffaele Giancarlo, Wojciech Rytter

Fundamenta Informaticae

Select article: PAL – Propositional Algorithmic Logic

Retricted access

Research article

First published 1981

PAL – Propositional Algorithmic Logic

Grażyna Mirkowska

Fundamenta Informaticae

Select article: THE COMPLEXITY OF LOCAL STRATIFICATION

Retricted access

Research article

First published 1994-12

THE COMPLEXITY OF LOCAL STRATIFICATION

Peter Cholak, Howard A. Blair

Fundamenta Informaticae

Select article: Fair Termination with Cruel Schedulers

Retricted access

Research article

First published 1986

Fair Termination with Cruel Schedulers

Ido Dayan, David Harel

Fundamenta Informaticae

1
2
3
4
10 / page

Article type

Publication date

Subjects

Access