logo UG

Bibliografia Publikacji Pracowników, Doktorantów i Studentów UG




Zapytanie: DECIDABILITY
Liczba odnalezionych rekordów: 2



Przejście do opcji zmiany formatu | Wyświetl/ukryj etykiety | Wyświetl wyniki w wersji do druku | | Przesłanie wyników do modułu analizy | Nowe wyszukiwanie
1/2
AUTORZY: Marek Antoni Bednarczyk, Piotr Jóźwiak, Wiesław Pawłowski.
TYTUŁ: A class of hypernets with token creation and decidable reachability problem
ŹRÓDŁO: CEUR Workshop Proceedings, [dokument elektroniczny]. - 2012, Vol. 928, s. 37-48
TRYB DOSTĘPU: http://ceur-ws.org/Vol-928/ [dostęp 23.05.2017]
e-ISSN: 1613-0073

UWAGI: Bibliogr. 13 poz.
Typ publikacji: ZAC
Język publikacji: ENG
Słowa kluczowe w j. ang.:
  • petri hypernets
  • reachability
  • decidability

    Inne bazy podające opis:
  • Scopus

    2/2
    AUTORZY: Grzegorz Madejski.
    TYTUŁ [ROZDZIAŁU, FRAGMENTU]: Regular and linear permutation languages
    ŹRÓDŁO: W: Eighth Workshop on Non-Classical Models of Automata and Applications, NCMA 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings / Henning Bordihn, Rudolf Freund, Benedek Nagy, György Vaszil (eds.)
    ADRES WYDAWNICZY: Debrecen : Österreichische Computer Gesellschaft, 2016
    OPIS FIZYCZNY: S. 243-258
    ISBN: 978-3-903035-10-2
    Tytuł-nazwa konferencji: 8th Workshop on Non-Classical Models of Automata and Applications
    Organizator konferencji: NCMA
    Miejsce konferencji: Debrecen
    Kraj: HU
    Od dnia: 2016.08.29
    Do dnia: 2016.08.30
    Typ publikacji: ZMR
    Język publikacji: ENG
    Punktacja MNiSW: 5.000
    Słowa kluczowe w j. ang.:
  • permutation languages
  • interchange rules
  • context-free grammars
  • linear grammars
  • regular grammars
  • closure properties
  • decidability
  • generative power

      Wyświetl ponownie stosując format:
  • Wyświetl/ukryj etykiety | Wyświetlenie wyników w wersji do druku | | Nowe wyszukiwanie | Biblioteka Główna Uniwersytetu Gdańskiego