TERMIUM Plus®

The Government of Canada’s terminology and linguistic data bank.

CONDITION ACCEPTATION STREETT [1 record]

Record 1 2020-09-14

English

Subject field(s)
  • Mathematics
  • Artificial Intelligence
CONT

Note that any Büchi condition is a parity condition with two priorities and that any parity condition is a Streett condition.

French

Domaine(s)
  • Mathématiques
  • Intelligence artificielle
CONT

La condition de Streett est la négation de la condition de Rabin.

Spanish

Campo(s) temático(s)
  • Matemáticas
  • Inteligencia artificial
CONT

La condición Streett es la negación de la condición Rabin.

Save record 1

Copyright notice for the TERMIUM Plus® data bank

© Public Services and Procurement Canada, 2024
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau

Features

Language Portal of Canada

Access a collection of Canadian resources on all aspects of English and French, including quizzes.

Writing tools

The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.

Glossaries and vocabularies

Access Translation Bureau glossaries and vocabularies.

Date Modified: