Andrei Mantsivoda

According to our database, Andrei Mantsivoda authored at least 10 papers between 1991 and 2020.

Collaborative distances:

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

2020

On Termination of Transactions over Semantic Document Models.

Andrei Mantsivoda, Denis K. Ponomaryov

CoRR, 2020

2013

The Inverse Method for Many-Valued Logics.

Laura Kovács, Andrei Mantsivoda, Andrei Voronkov

Proceedings of the Advances in Artificial Intelligence and Its Applications, 2013

2009

A Query Language for Logic Architectures.

Anton Malykh, Andrei Mantsivoda

Proceedings of the Perspectives of Systems Informatics, 2009

2006

Logic Programming in Knowledge Domains.

Andrei Mantsivoda, Vladimir Lipovchenko, Anton Malykh

Proceedings of the Logic Programming, 22nd International Conference, 2006

1994

Flang System: A new Version.

Andrei Mantsivoda

Proceedings of the Programming Language Implementation and Logic Programming, 1994

1993

Flang and its Implementation.

Andrei Mantsivoda

Proceedings of the Programming Language Implementation and Logic Programming, 1993

Memory Management of Constraint in Flang.

Andrei Mantsivoda, Vyacheslav Petukhin, Alexei Weimann

Proceedings of the Logic Programming, 1993

1991

Implementation of the Functional-Logic Language Flang.

Andrei Mantsivoda, Vyacheslav Petukhin

Proceedings of the Processing Declarative Knowledge, 1991

Flang: A Functional-Logic Language.

Andrei Mantsivoda

Proceedings of the Processing Declarative Knowledge, 1991

Compiling Flang.

Andrei Mantsivoda, Vyacheslav Petukhin

Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991