Logic and tree automata

QR kód

Logic and tree automata

Elmentve itt :

Bibliográfiai részletek
Szerző:	Iván Szabolcs
További közreműködők:	Ésik Zoltán (Témavezető)
Dokumentumtípus:	Disszertáció
Megjelent:	2008-06-13
Tárgyszavak:	matematika- és számítástudományok
mtmt:	1994109
Online Access:	http://doktori.ek.szte.hu/1185

Hasonló tételek

Higher Dimensional Automata
Szerző: Németh L. Zoltán
Megjelent: (2008)

Trees and graph packing
Szerző: Vásárhelyi Bálint Márk
Megjelent: (2018)

Weighted Tree Generating Regular Systems and Crisp-Determinization of Weighted Tree Automata
Szerző: Kószó Dávid
Megjelent: (2023)

Soliton automata a computational model on the principle of graph matchings /
Szerző: Krész Miklós
Megjelent: (2005)

Shape preserving tree transducers
Szerző: Gazdag Zsolt
Megjelent: (2006)

Superlinear deterministic top-down tree transducers
Szerző: Dányi Gábor
Megjelent: (1998)

Evolutionary Tree Reconstruction and its Applications in Protein Classification
Szerző: Busa-Fekete Róbert
Megjelent: (2008)

Pebble macro tree transducers with strong pebble handling
Szerző: Muzamel Loránd
Megjelent: (2011)

The ‘gas of circles’ model and its application to tree crown extraction
Szerző: Horváth Péter
Megjelent: (2007)

Deterministic ascending tree automata II
Szerző: Virágh János
Megjelent: (1983)

Minimization of deterministic top-down tree automata
Szerző: Fülöp Zoltán, et al.
Megjelent: (2017)

Decidability questions for term rewriting systems and tree transducers
Szerző: Gyenizse Pál
Megjelent: (1999)

An implicational logic for orthomodular lattices
Szerző: Chajda Ivan, et al.
Megjelent: (2016)

On DR tree automata, unary algebras and syntactic path monoids
Szerző: Steinby Magnus
Megjelent: (2017)

Minimal ascending tree automata
Szerző: Gécseg Ferenc, et al.
Megjelent: (1978)

Alternation bounds for tree automata
Szerző: Salomaa Kai
Megjelent: (1992)

Weighted tree-walking automata
Szerző: Fülöp Zoltán, et al.
Megjelent: (2009)

Metric equivalence of tree automata
Szerző: Gécseg Ferenc
Megjelent: (1985)

Learning in logic
Szerző: Horváth Tamás
Megjelent: (2012)

Rational representation of forests by tree automata
Szerző: Maróti György
Megjelent: (1977)

Deterministic ascending tree automata I
Szerző: Virágh János
Megjelent: (1980)

Deterministic ascending tree automata II
Szerző: Ésik Zoltán
Megjelent: (1983)

On αi-product of tree automata
Szerző: Gécseg Ferenc, et al.
Megjelent: (1987)

On a special composition of tree automata
Szerző: Imreh Balázs
Megjelent: (1992)

On isomorphic representation of nondeterministic tree automata
Szerző: Imreh Balázs
Megjelent: (1995)

Novel MR image analysis strategies applications in multiple sclerosis /
Szerző: Nyúl László G.
Megjelent: (2003)

Lattices and invariants
Szerző: Katonáné Horváth Eszter
Megjelent: (2005)

The equilibrium measure and the Saff's conjecture
Szerző: Benkő Dávid
Megjelent: (2006)

Kernel-based feature extraction and speech technology applications
Szerző: Kocsor András
Megjelent: (2004)

On subuniverses of lattices and semilattices
Szerző: Ahmed Delbrin
Megjelent: (2022)

Approximation Theorems Related to the Coupon Collector’s Problem
Szerző: Pósfai Anna
Megjelent: (2010)

Minimal clones
Szerző: Waldhauser Tamás
Megjelent: (2007)

Geometric and Visual Reconstruction of Binary Shapes
Szerző: Németh József
Megjelent: (2016)

Pairwise models for non-Markovian epidemics on networks
Szerző: Vizi Zsolt
Megjelent: (2017)

Noise Robust Automatic Speech Recognition Based on Spectro-Temporal Techniques
Szerző: Kovács György
Megjelent: (2018)

Asymptotic behavior of solutions of difference equations with continuous time
Szerző: Péics Hajnalka
Megjelent: (2000)

Information Content of Projections and Reconstruction of Objects in Discrete Tomography
Szerző: Varga László
Megjelent: (2013)

Applications of Support Vector-Based Learning
Szerző: Ormándi Róbert
Megjelent: (2014)

Binary Tomography Using Geometrical Priors Uniqueness and Reconstruction Results /
Szerző: Balázs Péter Attila
Megjelent: (2007)

Methods for the description and analysis of processes in real-life networks
Szerző: Bóta András
Megjelent: (2015)