Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by J-J. Ch. Meyer

A Formalization of the Coach Problem

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Related publications

The Distributed Constraint Satisfaction Problem: Formalization and Algorithms

IEEE Transactions on Knowledge and Data Engineering
Computational TheoryComputer Science ApplicationsInformation SystemsMathematics
1998English

A Formalization of Polytime Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Formalization of Minimalist Syntax

Syntax
LinguisticsLanguage
2016English

A Metamodel for Collaboration Formalization

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Study on the Formalization of English Subjunctive Mood

Theory and Practice in Language Studies
2012English

Matching Spatial Ontologies - A Challenge of Formalization

2013English

A Lightweight Formalization of the Metatheory of Bisimulation-Up-To

2015English

Formalization of the Program Reference Language.

1985English

Coach My Career

Bulletin des Médecins Suisses
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy