Andrei Mantsivoda

12 papers B 3Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Don't Forget Imagination!
CoRR
Evgenii E. Vityaev, Andrei Mantsivoda
2020 J jnl
On Termination of Transactions over Semantic Document Models.
CoRR
Andrei Mantsivoda, Denis K. Ponomaryov
2013 — conf
The Inverse Method for Many-Valued Logics.
MICAI (1)
Laura Kovács, Andrei Mantsivoda, Andrei Voronkov
2009 — conf
A Query Language for Logic Architectures.
Ershov Memorial Conference
Anton Malykh, Andrei Mantsivoda
2006 B conf
Logic Programming in Knowledge Domains.
ICLP
Andrei Mantsivoda, Vladimir Lipovchenko, Anton Malykh
1994 — conf
Flang System: A new Version.
PLILP
Andrei Mantsivoda
1993 — conf
Flang and its Implementation.
PLILP
Andrei Mantsivoda
1993 B conf
Memory Management of Constraint in Flang.
ICLP
Andrei Mantsivoda, Vyacheslav Petukhin, Alexei Weimann
1992 B conf
Compiling Flang.
CC
Andrei Mantsivoda, Vyacheslav Petukhin
1991 — conf
Compiling Flang.
RCLP
Andrei Mantsivoda, Vyacheslav Petukhin
1991 — conf
Flang: A Functional-Logic Language.
PDK
Andrei Mantsivoda
1991 — conf
Implementation of the Functional-Logic Language Flang.
PDK
Andrei Mantsivoda, Vyacheslav Petukhin