Dmitry A. Archangelsky

According to our database1, Dmitry A. Archangelsky authored at least 6 papers between 1989 and 1997.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1997
A Logic for Information Systems.
Stud Logica, 1997

1996
Linear Logic for Nets with Bounded Resources.
Ann. Pure Appl. Log., 1996

1994
Linear Logic with Fixed Resources.
Ann. Pure Appl. Log., 1994

Concurrency Problem for Horn Fragment of Girard's Linear Logic.
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

1992
Modular Linear Logic.
Proceedings of the Logical Foundations of Computer Science, 1992

1989
A Logic for Data Description.
Proceedings of the Logic at Botik '89, 1989


  Loading...