Titel

Merkliste
1 Ergebnisse

Alternating automata on data trees and XPath satisfiability:

Jurdziński, Marcin ; Lazić, Ranko
ACM Transactions on Computational Logic (TOCL). 12 (2011) 3 - p. 1-21 , 2011

Link: https://dl.acm.org/doi/10.1145/1929954.1929956

RT Journal
T1 <Title>Alternating automata on data trees and XPath satisfiability</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1929956&Exemplar=1&LAN=DE
				
A1 Jurdziński, Marcin
A1 Lazić, Ranko
PB ACM
YR 2011
SN 1529-3785
SN 1557-945X
K1 Theory of computation
K1 Theory and algorithms for application domains
K1 Machine learning theory
K1 Markov decision processes
K1 Mathematics of computing
K1 Probability and statistics
K1 Probabilistic representations
K1 Decision diagrams
K1 Computing methodologies
K1 Machine learning
K1 Machine learning approaches
K1 Computational complexity and cryptography
K1 Oracles and decision trees
K1 Reinforcement learning
K1 Sequential decision making
K1 Information systems
K1 Data management systems
K1 Query languages
K1 Formal languages and automata theory
JF ACM Transactions on Computational Logic (TOCL)
VO 12
IS 3
SP 1
OP 21
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/1929954.1929956
DO https://dl.acm.org/doi/10.1145/1929954.1929956
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)