1. Overview Output-output correspondence (OOC) constraints, constraints which demand correspondence between independently occurring surface forms, have recently been added to the set of constraint types invoked in much OT work. In this paper we examine some of the better-known arguments originally adduced in support of OOC constraints, and argue that adoption of such a powerful mechanism is not...

The paper deals with combinatorial and stochastic structures of cubical token systems. A cubical token system is an instance of a token system, which in turn is an instance of a transition system. It is shown that some basic results of combinatorial and stochastic parts of media theory hold almost in identical form for cubical token systems, although some underlying concepts are quite different...

Nous avons lu avec intérêt l’article de Moujahid et al. portant sur les kystes hydatiques du foie rompus dans les voies biliaires: à propos de 120 cas [1]. Nous avons trouvé qu’il s’agissait de l’une des plus grandes séries rapportées dans la littérature, concernant cette complication redoutable du kyste hydatique du foie. Néanmoins, nous avons jugé que quelques remarques sont à faire. En effet...

This paper examines the relationship between knowing how to G and the ability to G, which is typically presented in one of the following ways: (a) knowing how to G entails the ability to G; (b) knowing how to G does not entail the ability to G. In an attempt to reconcile these two putatively opposing positions, I distinguish between type and token actions. It is my contention that S can know ho...

The original de nition of re nement proof obligations in VDM is reviewed and examples are discussed which while being in tuitively sensible pose problems for this de nition of re nement An extended VDM re nement relation is introduced to cope with the prob lems Some non standard applications of the extended re nement proof obligations are discussed