Dmitry A. Archangelsky

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

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1997

A Logic for Information Systems.

Dmitry A. Archangelsky, Mikhail A. Taitslin

Stud Logica, 1997

1996

Linear Logic for Nets with Bounded Resources.

Dmitry A. Archangelsky, Michael I. Dekhtyar, Mikhail A. Taitslin

Ann. Pure Appl. Log., 1996

1994

Linear Logic with Fixed Resources.

Dmitry A. Archangelsky, Mikhail A. Taitslin

Ann. Pure Appl. Log., 1994

Concurrency Problem for Horn Fragment of Girard's Linear Logic.

Dmitry A. Archangelsky, Michael I. Dekhtyar, Evgeny Kruglov, Ilmir Kh. Musikaev, Mikhail A. Taitslin

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

1992

Modular Linear Logic.

Dmitry A. Archangelsky, Mikhail A. Taitslin

Proceedings of the Logical Foundations of Computer Science, 1992

1989

A Logic for Data Description.

Dmitry A. Archangelsky, Mikhail A. Taitslin

Proceedings of the Logic at Botik '89, 1989