Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Matskin, Mihhail - School of Information and Communication Technology, Royal Institute of Technology (KTH)
Fundamenta Informaticae 30 (1997) 23--41 1 Partial Structural Synthesis of Programs
A Deductive ObjectOriented Approach to Information System Modeling
Incorporating Partial Deduction in Structural Synthesis of Programs
Visual Rule Language for Active Database Modelling
Partial Deduction in the Framework of Structural Synthesis of Programs
A Note on Completeness of Partial Deduction Mihhail Matskin, Sergei Tupailo
Program synthesis and transformations in an objectoriented environment
Reasoning and Synthesis in an ObjectOriented System Jan Komorowski and Mihhail Matskin \Lambda
An ObjectOriented Environment Based On MultiLayer Application Design
Partial Deduction for Structural Synthesis of Programs Mihhail Matskin, Jan Komorowski, John Krogstie
Visual Active Rule Language Mihhail Matskin
Composition of Semantic Web Services using Linear Logic Theorem Jinghai Rao
Strategies of Structural Synthesis of Programs Mihhail Matskin
