ATTRIBUTE GRAMMARS AND MATHEMATICAL SEMANTICSMAYOH BH.1981; SIAM J. COMPUT.; ISSN 0097-5397; USA; DA. 1981; VOL. 10; NO 3; PP. 503-518; BIBL. 19 REF.Article

QUANTITATIVE ASPEKTE BEI ABLEITUNGSBAEUMEN = LES ASPECTS QUANTITATIFS DES ARBRES DE DERIVATIONKUICH W.1980; WISSENSCHAFTL. Z. TECH. UNIV. DRESD.; ISSN 0043-6925; DDR; DA. 1980; VOL. 29; NO 2; PP. 370-375; BIBL. 10 REF.Article

LINKED FOREST MANIPULATION SYSTEMS. A TOOL FOR COMPUTATIONAL SEMANTICSCULIK K II; MANSOUR FARAH.1981; ADV. INF. SYST. SCI.; ISSN 0065-2784; USA; DA. 1981; VOL. 8; PP. 75-118; BIBL. 14 REF.Article

THE USE OF TREE DERIVATIVES AND A SAMPLE SUPPORT PARAMETER FOR INFERRING TREE SYSTEMSLEVINE B.1982; IEEE TRANS. PATTERN ANAL. MACH. INTELL.; ISSN 0162-8828; USA; DA. 1982; VOL. 4; NO 1; PP. 25-34; BIBL. 19 REF.Article

PASSES AND PATHS OF ATTRIBUTE GRAMMARSENGELFRIET J; FILE G.1981; INFORM. CONTROL; ISSN 0019-9958; USA; DA. 1981; VOL. 49; NO 2; PP. 125-169; BIBL. 1 P.Article

KONTEXTFREIE GRAMMATIKEN UND ABLEITUNGSBAEUME ALS HILFSMITTEL BEI DER PROGRAMMIERUNG = GRAMMAIRES CONTEXT-FREE ET ARBRES DE DERIVATION COMME OUTILS DE PROGRAMMATIONLINNEMANN V.1980; ANGEW. INFORMAT.; DEU; DA. 1980; NO 2; PP. 60-66; ABS. ENG; BIBL. 5 REF.Article

AN ORDER-ALGEBRAIC DEFINITION OF KNUTHIAN SEMANTICSCHIRICA LM; MARTIN DF.1979; MATH. SYST. THEORY; USA; DA. 1979; VOL. 13; NO 1; PP. 1-27; BIBL. 33 REF.Article

PARALLEL AND TWO-WAY AUTOMATA ON DIRECTED ORDERED ACYCLIC GRAPHSKAMIMURA T; SLUTZKI G.1981; INFORM. CONTROL; ISSN 0019-9958; USA; DA. 1981; VOL. 49; NO 1; PP. 10-51; BIBL. 23 REF.Article

THE CHARACTERIZATION OF PARALLEL ULTRALINEAR GRAMMARS BY RATIONAL POWER SERIESKUICH W.1981; ACTA INF.; ISSN 0001-5903; DEU; DA. 1981; VOL. 15; NO 2; PP. 129-139; BIBL. 9 REF.Article

THE FORMAL POWER OF ONE-VISIT ATTRIBUTE GRAMMARSENGELFRIET J; FILE G.1981; ACTA INF.; ISSN 0001-5903; DEU; DA. 1981; VOL. 16; NO 3; PP. 275-302; BIBL. 27 REF.Article

A NEW CHARACTERIZATION THEOREM OF TREE-TRANSDUCTIONSESTENFELD K.1982; ELEKTRONISCHE INFORMATIONSVERARBEITUNG UND KYBERNETIK; ISSN 0013-5712; DDR; DA. 1982; VOL. 18; NO 4-5; PP. 187-204; ABS. GER/RUS; BIBL. 15 REF.Article

ON THE HEIGHT OF DERIVATION TREESKUICH W; PRODINGER H; URBANEK J et al.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 71; PP. 370-384; BIBL. 10 REF.Conference Paper

On the size of unanbiguous context-free grammarsWYROSTEK, P.Theoretical computer science. 1986, Vol 47, Num 1, pp 107-110, issn 0304-3975Article

Monadic second-order evaluations on tree-decomposable graphsCOURCELLE, B; MOSBAH, M.Theoretical computer science. 1993, Vol 109, Num 1-2, pp 49-82, issn 0304-3975Conference Paper

UNE RELATION D'EQUIVALENCE DECIDABLE SUR LA CLASSE DES FORETS RECONNAISSABLESARNOLD A; DAUCHET M.1978; MATH. SYST. THEORY; USA; DA. 1978; VOL. 12; NO 2; PP. 103-128; ABS. ENG; BIBL. 10 REF.Article

Context-free text grammarsEHRENFEUCHT, A; TEN PAS, P; ROZENBERG, G et al.Acta informatica. 1994, Vol 31, Num 2, pp 161-206, issn 0001-5903Article

PROCEEDINGS INTERNATIONAL CONFERENCE ON ALGOL 68, RECHENZENTRUM DER RUHR-UNIVERSITAET BOCHUM, MARCH 30-31, 1981VAN VLIET JC ED; WUPPER H ED.1981; INTERNATIONAL CONFERENCE ON ALGOL 68/1981-03-30/BOCHUM; NLD; AMSTERDAM: MATHEMATISCH CENTRUM; DA. 1981; 235 P.; 24 CM; MATHEMATICAL CENTRE TRACTS; 134Conference Proceedings

Derivation trees of ground term rewriting systemsENGELFRIET, J.Information and computation (Print). 1999, Vol 152, Num 1, pp 1-15, issn 0890-5401Article

On the synchronized derivation depth of context-free grammarsBIEGLER, Franziska; SALOMAA, Kai.Theoretical computer science. 2009, Vol 410, Num 35, pp 3198-3208, issn 0304-3975, 11 p.Article

Graphical display of complex information within a prolog debuggerDEWAR, A. D; CLEARY, J. G.International journal of man-machine studies. 1986, Vol 25, Num 5, pp 503-521, issn 0020-7373Article

Two collapsing hierarchies of subregularly tree controlled languagesDASSOW, Jürgen; STIEBE, Ralf; TRUTHE, Bianca et al.Theoretical computer science. 2009, Vol 410, Num 35, pp 3261-3271, issn 0304-3975, 11 p.Article

Derivation tree analysis for accelerated fixed-point computationESPARZA, Javier; KIEFER, Stefan; LUTTENBERGER, Michael et al.Theoretical computer science. 2011, Vol 412, Num 28, pp 3226-3241, issn 0304-3975, 16 p.Article