Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Kazuhito Ohmaki

Eventuality in LOTOS With a Disjunction Operator

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Related publications

A LOTOS Framework for Middleware Specification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Constructive Interval Disjunction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Negotiating Lexical Uncertainty and Speaker Expertise With Disjunction

Proceedings of the Annual Meeting of the Berkeley Linguistics Society
2015English

Disjunction and Anaphora

Semantics and Linguistic Theory
2015English

Lexicalizing Disjunction Scope

Proceedings of the Linguistic Society of America
2019English

Attribute Grammar Applications in Prototyping LOTOS Tools

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1990English

Model-Checking for Real-Time Systems Specified in Lotos

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Free Choice Disjunction as a Rational Speech Act

Semantics and Linguistic Theory
2019English

Towards a Symbolic Modal Logic for LOTOS

1996English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy