Searching for authors named "Mihhail Matskin" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Partial deduction for linear logic—the symbolic negotiation perspective
- … , Mihhail Matskin 2 1 Norwegian University of Science and Technology Department of Computer…
- Cited by 2 (2 self) – Add To MetaCart
-
Web Services Analysis: Making Use of Web Service Composition and Annotation
- … , Mihhail Matskin 2 1 Norwegian University of Science and Technology Department of Computer and Information…
- Add To MetaCart
-
A Note on Completeness of Partial Deduction
- …A Note on Completeness of Partial Deduction Mihhail Matskin, Sergei Tupailo Institute…
- Add To MetaCart
-
, Jan Komorowski
- … Mihhail Matskin 1 , Jan Komorowski Knowledge Systems Group, Faculty of Electrical Engineering…
- Add To MetaCart
-
A Deductive Object-Oriented Approach to Information System Modeling
- …A Deductive Object-Oriented Approach to Information System Modeling Mihhail Matskin and Hele…
- Add To MetaCart
-
Symbolic Negotiation with Linear Logic
- …Symbolic Negotiation with Linear Logic Peep Kungas 1 , Mihhail Matskin 2 1 Norwegian…
- Cited by 3 (2 self) – Add To MetaCart
-
Linear Logic, Partial Deduction and Cooperative Problem Solving
- …Linear Logic, Partial Deduction and Cooperative Problem Solving Peep Kungas 1 , Mihhail Matskin…
- Cited by 6 (3 self) – Add To MetaCart
-
Strategies of Structural Synthesis of Programs and Its Extensions
- …Strategies of Structural Synthesis of Programs and Its Extensions Mihhail Matskin Department…
- Cited by 7 (4 self) – Add To MetaCart
-
Partial Structural Synthesis of Programs
- … Mihhail Matskin and Jan Komorowski Department of Computer and Information Science Norwegian University…
- Cited by 21 (8 self) – Add To MetaCart
-
Incorporating Partial Deduction in Structural Synthesis of Programs
- … Krogstie and Mihhail Matskin 1 Knowledge Systems Group, Faculty of Electrical Engineering and Computer…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
