Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by G. Y. R. Schropp
A Formalization of the Coach Problem
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
The Distributed Constraint Satisfaction Problem: Formalization and Algorithms
IEEE Transactions on Knowledge and Data Engineering
Computational Theory
Computer Science Applications
Information Systems
Mathematics
A Formalization of Polytime Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formalization of Minimalist Syntax
Syntax
Linguistics
Language
A Metamodel for Collaboration Formalization
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Study on the Formalization of English Subjunctive Mood
Theory and Practice in Language Studies
Matching Spatial Ontologies - A Challenge of Formalization
A Lightweight Formalization of the Metatheory of Bisimulation-Up-To
Formalization of the Program Reference Language.
Coach My Career
Bulletin des Médecins Suisses