About: Proceedings of the 22nd Theorietag Automata and Formal Languages

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Proceedings of the 22nd Theorietag Automata and Formal Languages Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://ksvi.mff.cuni.cz/workshop/theorietag2012/files/ProcTt12final_v2opt.pdf
Description	Theorietag is an annual meeting of the special interest group Automata and Formal Languages of German Informatics Society (die Fachgruppe Automaten und Formale Sprachen der Gesellschaft für Informatik). The 22nd Theorietag was organized by a group from the Faculty of Mathematics and Physics, Charles University in Prague. These proceedings comprise extended abstracts of 5 invited lectures and 21 contributed talks. Theorietag is an annual meeting of the special interest group Automata and Formal Languages of German Informatics Society (die Fachgruppe Automaten und Formale Sprachen der Gesellschaft für Informatik). The 22nd Theorietag was organized by a group from the Faculty of Mathematics and Physics, Charles University in Prague. These proceedings comprise extended abstracts of 5 invited lectures and 21 contributed talks. (en)
Title	Proceedings of the 22nd Theorietag Automata and Formal Languages Proceedings of the 22nd Theorietag Automata and Formal Languages (en)
skos:prefLabel	Proceedings of the 22nd Theorietag Automata and Formal Languages Proceedings of the 22nd Theorietag Automata and Formal Languages (en)
skos:notation	RIV/00216208:11320/12:10132510!RIV13-GA0-11320___
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(GAP103/10/0783), P(GAP202/10/1333)
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Mráz, František
http://linked.open.../riv/druhVysledku	O - Ostatní výsledky nezařaditelné do žádného z výše uvedených druhů výsledku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Univerzita Karlova v Praze / Matematicko-fyzikální fakulta
http://linked.open...dnocenehoVysledku	162357
http://linked.open...ai/riv/idVysledku	RIV/00216208:11320/12:10132510
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	formal languages; automata (en)
http://linked.open.../riv/klicoveSlovo	automata formal languages
http://linked.open...ontrolniKodProRIV	[0CC2E844AEAF]
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	NoSCoM: Non-Standard Computational Models and Their Applications in Complexity, Linguistics, and Learning Structure and its impact for recognition
http://linked.open...UplatneniVysledku	2012
http://linked.open...iv/tvurceVysledku	Mráz, František
http://localhost/t...ganizacniJednotka	11320

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 47 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software