FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103237321> ?p ?o ?g. }

• W2103237321 abstract "Tree automata and tree transducers are used in a wide range of applications in software engineering, from XML processing to language type-checking. While these formalisms are of immense practical use, they can only model finite alphabets, and since many real-world applications operate over infinite domains such as integers, this is often a limitation. To overcome this problem we augment tree automata and transducers with symbolic alphabets represented as parametric theories. Admitting infinite alphabets makes these models more general and succinct than their classical counterparts. Despite this, we show how the main operations, such as composition and language equivalence, remain computable given a decision procedure for the alphabet theory." @default.
• W2103237321 created "2016-06-24" @default.
• W2103237321 creator A5060114046 @default.
• W2103237321 creator A5068390911 @default.
• W2103237321 creator A5074105893 @default.
• W2103237321 creator A5089920000 @default.
• W2103237321 date "2014-06-09" @default.
• W2103237321 modified "2023-10-17" @default.
• W2103237321 title "Fast" @default.
• W2103237321 cites W1484394245 @default.
• W2103237321 cites W1594273357 @default.
• W2103237321 cites W1602317429 @default.
• W2103237321 cites W1966814918 @default.
• W2103237321 cites W1979629711 @default.
• W2103237321 cites W1988267965 @default.
• W2103237321 cites W1988343205 @default.
• W2103237321 cites W1990282554 @default.
• W2103237321 cites W1994090338 @default.
• W2103237321 cites W1994920572 @default.
• W2103237321 cites W2001621593 @default.
• W2103237321 cites W2036436893 @default.
• W2103237321 cites W2044372543 @default.
• W2103237321 cites W2053455078 @default.
• W2103237321 cites W2059690576 @default.
• W2103237321 cites W2086959507 @default.
• W2103237321 cites W2110117589 @default.
• W2103237321 cites W2115656500 @default.
• W2103237321 cites W2137351629 @default.
• W2103237321 cites W2150256214 @default.
• W2103237321 cites W2194959641 @default.
• W2103237321 cites W2499128558 @default.
• W2103237321 cites W2764317813 @default.
• W2103237321 cites W342816535 @default.
• W2103237321 cites W4242157899 @default.
• W2103237321 doi "https://doi.org/10.1145/2594291.2594309" @default.
• W2103237321 hasPublicationYear "2014" @default.
• W2103237321 type Work @default.
• W2103237321 sameAs 2103237321 @default.
• W2103237321 citedByCount "12" @default.
• W2103237321 countsByYear W21032373212013 @default.
• W2103237321 countsByYear W21032373212015 @default.
• W2103237321 countsByYear W21032373212017 @default.
• W2103237321 countsByYear W21032373212019 @default.
• W2103237321 countsByYear W21032373212020 @default.
• W2103237321 countsByYear W21032373212023 @default.
• W2103237321 crossrefType "proceedings-article" @default.
• W2103237321 hasAuthorship W2103237321A5060114046 @default.
• W2103237321 hasAuthorship W2103237321A5068390911 @default.
• W2103237321 hasAuthorship W2103237321A5074105893 @default.
• W2103237321 hasAuthorship W2103237321A5089920000 @default.
• W2103237321 hasConcept C111919701 @default.
• W2103237321 hasConcept C112505250 @default.
• W2103237321 hasConcept C112876837 @default.
• W2103237321 hasConcept C11413529 @default.
• W2103237321 hasConcept C116248031 @default.
• W2103237321 hasConcept C118615104 @default.
• W2103237321 hasConcept C138885662 @default.
• W2103237321 hasConcept C159985019 @default.
• W2103237321 hasConcept C171018156 @default.
• W2103237321 hasConcept C192562407 @default.
• W2103237321 hasConcept C199360897 @default.
• W2103237321 hasConcept C204323151 @default.
• W2103237321 hasConcept C2524010 @default.
• W2103237321 hasConcept C2778583254 @default.
• W2103237321 hasConcept C2780069185 @default.
• W2103237321 hasConcept C33923547 @default.
• W2103237321 hasConcept C41008148 @default.
• W2103237321 hasConcept C41895202 @default.
• W2103237321 hasConcept C52370388 @default.
• W2103237321 hasConcept C80444323 @default.
• W2103237321 hasConcept C8797682 @default.
• W2103237321 hasConceptScore W2103237321C111919701 @default.
• W2103237321 hasConceptScore W2103237321C112505250 @default.
• W2103237321 hasConceptScore W2103237321C112876837 @default.
• W2103237321 hasConceptScore W2103237321C11413529 @default.
• W2103237321 hasConceptScore W2103237321C116248031 @default.
• W2103237321 hasConceptScore W2103237321C118615104 @default.
• W2103237321 hasConceptScore W2103237321C138885662 @default.
• W2103237321 hasConceptScore W2103237321C159985019 @default.
• W2103237321 hasConceptScore W2103237321C171018156 @default.
• W2103237321 hasConceptScore W2103237321C192562407 @default.
• W2103237321 hasConceptScore W2103237321C199360897 @default.
• W2103237321 hasConceptScore W2103237321C204323151 @default.
• W2103237321 hasConceptScore W2103237321C2524010 @default.
• W2103237321 hasConceptScore W2103237321C2778583254 @default.
• W2103237321 hasConceptScore W2103237321C2780069185 @default.
• W2103237321 hasConceptScore W2103237321C33923547 @default.
• W2103237321 hasConceptScore W2103237321C41008148 @default.
• W2103237321 hasConceptScore W2103237321C41895202 @default.
• W2103237321 hasConceptScore W2103237321C52370388 @default.
• W2103237321 hasConceptScore W2103237321C80444323 @default.
• W2103237321 hasConceptScore W2103237321C8797682 @default.
• W2103237321 hasFunder F4320337387 @default.
• W2103237321 hasLocation W21032373211 @default.
• W2103237321 hasOpenAccess W2103237321 @default.
• W2103237321 hasPrimaryLocation W21032373211 @default.
• W2103237321 hasRelatedWork W1518566078 @default.
• W2103237321 hasRelatedWork W1526464250 @default.
• W2103237321 hasRelatedWork W1991034910 @default.
• W2103237321 hasRelatedWork W2000356331 @default.

• next