Temat: FORMAL - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "FORMAL" wg kryterium: Temat

Wyświetlanie 1-10 z 39

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Generalized Interpolation in First Order Logic
Autorzy:: Borzyszkowski, T.
Data publikacji:: 2005
Słowa kluczowe:: formal languages
formal semantics
specification languages
algebraic specification
interpolation property; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Formal language recognition by stochastic cellular automata
Autorzy:: Merkle, D.
Worsch, T.
Data publikacji:: 2002
Słowa kluczowe:: cellular automata
formal languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A Formal Syntax of Natural Languages and the Deductive Grammar
Autorzy:: Wang, Y.
Data publikacji:: 2009
Słowa kluczowe:: cognitive informatics
linguistics
computational linguistics
formal languages
universal grammar
deductive grammar
formal syntax
formal semantics
EBNF
RTPA
comparative linguistics
software engineering
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: On the Density of Regular Languages
Autorzy:: Koga, Toshihiro
Data publikacji:: 2019
Słowa kluczowe:: formal languages
regular languages
density; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Interpreted Trajectories
Autorzy:: Domaratzki, M.
Rozenberg, G.
Salomaa, K.
Data publikacji:: 2006
Słowa kluczowe:: formal languages
decidability
trajectories
regularity
unambiguity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Block Substitutions and Their Properties
Autorzy:: Kari, L.
Losseva, E.
Data publikacji:: 2006
Słowa kluczowe:: formal languages
Chomshy hierarchy
block substitution; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: On Interacting Automata with Limited Nondeterminism
Autorzy:: Buchholz, T.
Klein, A.
Kutrib, M.
Data publikacji:: 2002
Słowa kluczowe:: cellular automata
formal languages
nondeterminism
parallel computing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Rational, Linear and algebraic process languages and iteration lemmata
Autorzy:: Czaja, L.
Kudlek, M.
Data publikacji:: 2000
Słowa kluczowe:: formal languages
iteration lemmata
process
Petri net; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Membrane computing with external output
Autorzy:: Paun, G.
Rozenberg, G.
Salomaa, A.
Data publikacji:: 2000
Słowa kluczowe:: natural computing
membrane computing
formal languages
decidability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: A Formal Language Analysis of DNA Hairpin Structures
Autorzy:: Kari, L.
Losseva, E.
Konstantindis, S.
Sosik, P.
Thierrin, G.
Data publikacji:: 2006
Słowa kluczowe:: DNA computing
DNA hairpin
involution
formal languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 39

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "FORMAL" wg kryterium: Temat