Searching for authors named "Spiro Michaylov" – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
Generalized Redundant Inequalities in CLP(R)
- …Generalized Redundant Inequalities in CLP(R) Spiro Michaylov Department of Computer…
- Add To MetaCart
-
Skeletons and Techniques for the Systematic Development of Constraint Logic Programs
- … Report OSU-CISRC-6/94-TR30 Spiro Michaylov Department of Computer and Information Science, The Ohio State…
- Cited by 3 (3 self) – Add To MetaCart
-
Time and Money: A Case Study in Systematic Development of Constraint Logic Programs
- … Report OSU-CISRC-5/95-TR24 Spiro Michaylov Iv'an Ord'o~nez Department of Computer and Information Science…
- Add To MetaCart
-
Repeated Redundant Inequalities in Constraint Logic Programming
- …/94-TR31 Spiro Michaylov Department of Computer and Information Science, The Ohio State University, 228…
- Cited by 5 (4 self) – Add To MetaCart
-
Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs
- … Report OSU-CISRC-8/94-TR44 Spiro Michaylov Bill Pippin Department of Computer and Information Science…
- Cited by 4 (1 self) – Add To MetaCart
-
Higher-Order Logic Programming as Constraint Logic Programming
- …Higher-Order Logic Programming as Constraint Logic Programming Spiro Michaylov Department…
- Cited by 13 (5 self) – Add To MetaCart
-
An Empirical Study of the Runtime Behavior of Higher-Order Logic Programs
- …) Spiro Michaylov Department of Computer and Information Science The Ohio State University 228 Bolz Hall…
- Cited by 27 (7 self) – Add To MetaCart
-
CLP(R) and Some Electrical Engineering Problems
- …CLP(R) and Some Electrical Engineering Problems Nevin Heintze Spiro Michaylov School of Computer…
- Cited by 35 (5 self) – Add To MetaCart
-
Skeletons and Techniques as a Normative Approach to Program Development in Logic-based Languages
- … Technical Report OSU-CISRC-5/94-TR25 Marc Kirschenbaum Spiro Michaylov y Leon Sterling z May 13, 1994…
- Cited by 12 (2 self) – Add To MetaCart
-
Towards a Practical Programming Language Based on the Polymorphic Lambda Calculus (Extended Abstract)
- … Abstract Peter Lee, Mark Leone, Spiro Michaylov, and Frank Pfenning School of Computer Science Carnegie…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
