Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: 2-structures

Sortuj według:

Ogranicz wyniki do:

Transition systems without transitions

Borzyszkowski A. M., Darondeau P.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2003

Nr 964

1-7

We study the problem of embedding partial 2-structures into set 2-structures such that the target substructure is full and forward closed and it is minimal w.r.t. these properties.

Badamy problem takiego zanurzenia częściowej 2-struktury w 2-strukturę zbiorową, by docelowa 2-struktura była pełna, domknięta w przód i minimalna względem tych własności.