László Úry

According to our database1, László Úry
  • authored at least 6 papers between 1979 and 1991.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1991
First-Order Programming Theories
EATCS Monographs on Theoretical Computer Science 24, Springer, ISBN: 978-3-642-58205-9, 1991

1982
A Theory of Interactive Programming.
Acta Inf., 1982

1980
Nondeterministic programming within the frame of first order classical logic, Part 2.
Acta Cybern., 1980

Nondeterministic programming within the frame of first order classical logic, Part 1.
Acta Cybern., 1980

Program Behaviour Specification through Explicit Time Consideration.
IFIP Congress, 1980

1979
Optimal Decomposition of Linear Automata.
Proceedings of the Automata, 1979


  Loading...