Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi On the computational completeness of generalized forbidding matrix grammars. (English) Zbl 07842525 Theor. Comput. Sci. 999, Article ID 114539, 15 p. (2024). MSC: 68Q42 PDFBibTeX XMLCite \textit{H. Fernau} et al., Theor. Comput. Sci. 999, Article ID 114539, 15 p. (2024; Zbl 07842525) Full Text: DOI
Kesner, Delia; Peyrot, Loïc Solvability for generalized applications. (English) Zbl 07853724 Felty, Amy P. (ed.), 7th international conference on formal structures for computation and deduction, FSCD 2022, Haifa, Israel, August 2–5, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 228, Article 18, 22 p. (2022). MSC: 68N18 03B40 68Q42 PDFBibTeX XMLCite \textit{D. Kesner} and \textit{L. Peyrot}, LIPIcs -- Leibniz Int. Proc. Inform. 228, Article 18, 22 p. (2022; Zbl 07853724) Full Text: DOI
Arnould, Agnès; Belhaouari, Hakim; Bellet, Thomas; Le Gall, Pascale; Pascual, Romain Preserving consistency in geometric modeling with graph transformations. (English) Zbl 1517.68152 Math. Struct. Comput. Sci. 32, No. 3, 300-347 (2022). MSC: 68Q42 68U05 PDFBibTeX XMLCite \textit{A. Arnould} et al., Math. Struct. Comput. Sci. 32, No. 3, 300--347 (2022; Zbl 1517.68152) Full Text: DOI
Fernau, Henning; Kuppusamy, Lakshmanan; Oladele, Rufus O.; Raman, Indhumathi Improved descriptional complexity results on generalized forbidding grammars. (English) Zbl 07567735 Discrete Appl. Math. 319, 2-18 (2022). MSC: 68Q42 PDFBibTeX XMLCite \textit{H. Fernau} et al., Discrete Appl. Math. 319, 2--18 (2022; Zbl 07567735) Full Text: DOI
Chenavier, Cyrille; Cordero, Christophe; Giraudo, Samuele Quotients of the magmatic operad: lattice structures and convergent rewrite systems. (English) Zbl 1480.18018 Exp. Math. 30, No. 4, 513-530 (2021). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18M65 05C05 68Q42 55P48 PDFBibTeX XMLCite \textit{C. Chenavier} et al., Exp. Math. 30, No. 4, 513--530 (2021; Zbl 1480.18018) Full Text: DOI arXiv HAL
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi Generalized forbidding matrix grammars and their membrane computing perspective. (English) Zbl 07437061 Freund, Rudolf (ed.) et al., Membrane computing. 21st international conference, CMC 2020, virtual event, September 14–18, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12687, 31-45 (2021). MSC: 68Q07 PDFBibTeX XMLCite \textit{H. Fernau} et al., Lect. Notes Comput. Sci. 12687, 31--45 (2021; Zbl 07437061) Full Text: DOI
Goubault, Éric; Mimram, Samuel Directed homotopy in non-positively curved spaces. (English) Zbl 1496.68225 Log. Methods Comput. Sci. 16, No. 3, Paper No. 4, 55 p. (2020). Reviewer: Philippe Gaucher (Paris) MSC: 68Q85 18D15 54E35 55U35 68Q42 68Q55 PDFBibTeX XMLCite \textit{É. Goubault} and \textit{S. Mimram}, Log. Methods Comput. Sci. 16, No. 3, Paper No. 4, 55 p. (2020; Zbl 1496.68225) Full Text: arXiv Link
Meseguer, José Generalized rewrite theories, coherence completion, and symbolic methods. (English) Zbl 1496.68166 J. Log. Algebr. Methods Program. 110, Article ID 100483, 39 p. (2020). MSC: 68Q42 68Q60 PDFBibTeX XMLCite \textit{J. Meseguer}, J. Log. Algebr. Methods Program. 110, Article ID 100483, 39 p. (2020; Zbl 1496.68166) Full Text: DOI Link
Meer, Klaus; Naif, Ameen Periodic generalized automata over the reals. (English) Zbl 1435.68178 Inf. Comput. 269, Article ID 104452, 11 p. (2019). MSC: 68Q45 03D05 03D78 68Q09 PDFBibTeX XMLCite \textit{K. Meer} and \textit{A. Naif}, Inf. Comput. 269, Article ID 104452, 11 p. (2019; Zbl 1435.68178) Full Text: DOI
Fernau, Henning; Kuppusamy, Lakshmanan; Oladele, Rufus O.; Raman, Indhumathi Improved descriptional complexity results on generalized forbidding grammars. (English) Zbl 1522.68255 Pal, Sudebkumar Prasant (ed.) et al., Algorithms and discrete applied mathematics. 5th international conference, CALDAM 2019, Kharagpur, India, February 14–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11394, 174-188 (2019). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{H. Fernau} et al., Lect. Notes Comput. Sci. 11394, 174--188 (2019; Zbl 1522.68255) Full Text: DOI
Carton, Olivier; Colcombet, Thomas; Puppis, Gabriele An algebraic approach to MSO-definability on countable linear orderings. (English) Zbl 1502.03007 J. Symb. Log. 83, No. 3, 1147-1189 (2018). MSC: 03B70 03B16 03D05 68Q45 06A05 PDFBibTeX XMLCite \textit{O. Carton} et al., J. Symb. Log. 83, No. 3, 1147--1189 (2018; Zbl 1502.03007) Full Text: DOI arXiv
Nagy, Benedek; Akkeleş, Arif Trajectories and traces on non-traditional regular tessellations of the plane. (English) Zbl 1486.52052 Brimkov, Valentin E. (ed.) et al., Combinatorial image analysis. 18th international workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19–21, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10256, 16-29 (2017). MSC: 52C20 68U05 68Q42 PDFBibTeX XMLCite \textit{B. Nagy} and \textit{A. Akkeleş}, Lect. Notes Comput. Sci. 10256, 16--29 (2017; Zbl 1486.52052) Full Text: DOI
Tian, Cong; Song, Jun; Duan, Zhenhua; Duan, Zhao LtlNfBa: making LTL translation more practical. (English) Zbl 1461.68121 Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9559, 179-194 (2016). MSC: 68Q60 03B44 03D05 68Q45 PDFBibTeX XMLCite \textit{C. Tian} et al., Lect. Notes Comput. Sci. 9559, 179--194 (2016; Zbl 1461.68121) Full Text: DOI
Steinert-Threlkeld, Shane Some properties of iterated languages. (English) Zbl 1396.03083 J. Logic Lang. Inf. 25, No. 2, 191-213 (2016). MSC: 03D05 03C80 68Q45 PDFBibTeX XMLCite \textit{S. Steinert-Threlkeld}, J. Logic Lang. Inf. 25, No. 2, 191--213 (2016; Zbl 1396.03083) Full Text: DOI
Clark, Alexander; Kanazawa, Makoto; Kobele, Gregory M.; Yoshinaka, Ryo Distributional learning of some nonlinear tree grammars. (English) Zbl 1371.68129 Fundam. Inform. 146, No. 4, 339-377 (2016). MSC: 68Q32 68Q42 PDFBibTeX XMLCite \textit{A. Clark} et al., Fundam. Inform. 146, No. 4, 339--377 (2016; Zbl 1371.68129) Full Text: DOI
Kuhr, Tomas; Vychodil, Vilem Rewriting systems over similarity and generalized pseudometric spaces and their properties. (English) Zbl 1373.68275 Fuzzy Sets Syst. 275, 110-129 (2015). MSC: 68Q42 03B52 03E72 PDFBibTeX XMLCite \textit{T. Kuhr} and \textit{V. Vychodil}, Fuzzy Sets Syst. 275, 110--129 (2015; Zbl 1373.68275) Full Text: DOI
Meduna, Alexander; Zemek, Petr One-sided random context grammars: a survey. (English) Zbl 1323.68333 Calude, Cristian S. (ed.) et al., Computing with new resources. Essays dedicated to Jozef Gruska on the occasion of his 80th birthday. Cham: Springer (ISBN 978-3-319-13349-2/pbk; 978-3-319-13350-8/ebook). Lecture Notes in Computer Science 8808, 338-351 (2014). MSC: 68Q42 PDFBibTeX XMLCite \textit{A. Meduna} and \textit{P. Zemek}, Lect. Notes Comput. Sci. 8808, 338--351 (2014; Zbl 1323.68333) Full Text: DOI
Belhaouari, Hakim; Arnould, Agnés; Le Gall, Pascale; Bellet, Thomas Jerboa: a graph transformation library for topology-based geometric modeling. (English) Zbl 1423.68537 Giese, Holger (ed.) et al., Graph transformation. 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8571, 269-284 (2014). MSC: 68U05 68Q42 68U35 PDFBibTeX XMLCite \textit{H. Belhaouari} et al., Lect. Notes Comput. Sci. 8571, 269--284 (2014; Zbl 1423.68537) Full Text: DOI
Meduna, Alexander; Zemek, Petr Generalized one-sided forbidding grammars. (English) Zbl 1278.68125 Int. J. Comput. Math. 90, No. 2, 172-182 (2013). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{A. Meduna} and \textit{P. Zemek}, Int. J. Comput. Math. 90, No. 2, 172--182 (2013; Zbl 1278.68125) Full Text: DOI
Lohrey, Markus; Mathissen, Christian Isomorphism of regular trees and words. (English) Zbl 1295.68124 Inf. Comput. 224, 71-105 (2013). Reviewer: Magnus Steinby (Turku) MSC: 68Q17 03C57 03D05 68Q25 68Q45 68R15 PDFBibTeX XMLCite \textit{M. Lohrey} and \textit{C. Mathissen}, Inf. Comput. 224, 71--105 (2013; Zbl 1295.68124) Full Text: DOI
Guo, Li; Sit, William Y.; Zhang, Ronghua Differential type operators and Gröbner-Shirshov bases. (English) Zbl 1290.16021 J. Symb. Comput. 52, 97-123 (2013). MSC: 16S32 16R50 16T30 05E15 16S10 68R15 16Z05 68Q42 PDFBibTeX XMLCite \textit{L. Guo} et al., J. Symb. Comput. 52, 97--123 (2013; Zbl 1290.16021) Full Text: DOI arXiv
Heß, Alexander Factorable monoids: resolutions and homology via discrete Morse theory. (English) Zbl 1337.20073 Bonn: Univ. Bonn, Mathematisch-Naturwissenschaftliche Fakultät (Diss.). 168 p. (2012). MSC: 20M50 20J05 20M05 20M25 18G10 68Q42 PDFBibTeX XMLCite \textit{A. Heß}, Factorable monoids: resolutions and homology via discrete Morse theory. Bonn: Univ. Bonn, Mathematisch-Naturwissenschaftliche Fakultät (Diss.) (2012; Zbl 1337.20073) Full Text: Link
Gaglione, Anthony M.; Lipschutz, Seymour; Spellman, Dennis Survey of generalized pregroups and a question of Reinhold Baer. (English) Zbl 1272.20024 Algebra Discrete Math. 13, No. 2, 220-236 (2012). MSC: 20E06 20F05 20F06 68Q42 PDFBibTeX XMLCite \textit{A. M. Gaglione} et al., Algebra Discrete Math. 13, No. 2, 220--236 (2012; Zbl 1272.20024)
Kofler, Kevin; Neumaier, Arnold DynGenPar – a dynamic generalized parser for common mathematical language. (English) Zbl 1360.68812 Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 386-401 (2012). MSC: 68T30 68Q42 68T50 PDFBibTeX XMLCite \textit{K. Kofler} and \textit{A. Neumaier}, Lect. Notes Comput. Sci. 7362, 386--401 (2012; Zbl 1360.68812) Full Text: DOI Link
Ibarra, Oscar H. On the containment and equivalence problems for GSMs, transducers, and linear CFGs. (English) Zbl 1297.68139 Bouchou-Markhoff, Béatrice (ed.) et al., Implementation and application of automata. 16th international conference, CIAA 2011, Blois, France, July 13–16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22255-9/pbk). Lecture Notes in Computer Science 6807, 190-202 (2011). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{O. H. Ibarra}, Lect. Notes Comput. Sci. 6807, 190--202 (2011; Zbl 1297.68139) Full Text: DOI
Kontinen, Juha; Vollmer, Heribert On second-order monadic monoidal and groupoidal quantifiers. (English) Zbl 1214.03025 Log. Methods Comput. Sci. 6, No. 3, Paper No. 25, 22 p. (2010). Reviewer: Alex Nabebin (Moskva) MSC: 03C80 03D05 03B15 03D15 03D40 68Q15 68Q19 PDFBibTeX XMLCite \textit{J. Kontinen} and \textit{H. Vollmer}, Log. Methods Comput. Sci. 6, No. 3, Paper No. 25, 22 p. (2010; Zbl 1214.03025) Full Text: DOI arXiv
Sozeau, Matthieu A new look at generalized rewriting in type theory. (English) Zbl 1205.68364 J. Formaliz. Reason. 2, No. 1, 41-62 (2009). MSC: 68T15 68Q42 PDFBibTeX XMLCite \textit{M. Sozeau}, J. Formaliz. Reason. 2, No. 1, 41--62 (2009; Zbl 1205.68364) Full Text: Link
Poudret, Mathieu; Arnould, Agnès; Comet, Jean-Paul; Le Gall, Pascale Graph transformation for topology modelling. (English) Zbl 1175.68496 Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 147-161 (2008). MSC: 68U05 68Q42 PDFBibTeX XMLCite \textit{M. Poudret} et al., Lect. Notes Comput. Sci. 5214, 147--161 (2008; Zbl 1175.68496) Full Text: DOI
Kuske, Dietrich; Lohrey, Markus First-order and counting theories of \(\omega\)-automatic structures. (English) Zbl 1141.03015 J. Symb. Log. 73, No. 1, 129-150 (2008). Reviewer: J. M. Plotkin (East Lansing) MSC: 03C80 03B25 03D05 PDFBibTeX XMLCite \textit{D. Kuske} and \textit{M. Lohrey}, J. Symb. Log. 73, No. 1, 129--150 (2008; Zbl 1141.03015) Full Text: DOI Euclid
Cunha, Alcino; Visser, Joost Strongly typed rewriting for coupled software transformation. (English) Zbl 1277.68042 Fernández, M. (ed.) et al., Proceedings of the 7th international workshop on rule based programming (RULE 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 1, 17-34 (2007). MSC: 68N01 68Q42 PDFBibTeX XMLCite \textit{A. Cunha} and \textit{J. Visser}, Electron. Notes Theor. Comput. Sci. 174, No. 1, 17--34 (2007; Zbl 1277.68042) Full Text: DOI OA License
Klein, Andreas; Kutrib, Martin Context-free grammars with linked nonterminals. (English) Zbl 1183.68328 Int. J. Found. Comput. Sci. 18, No. 6, 1271-1282 (2007). MSC: 68Q42 PDFBibTeX XMLCite \textit{A. Klein} and \textit{M. Kutrib}, Int. J. Found. Comput. Sci. 18, No. 6, 1271--1282 (2007; Zbl 1183.68328) Full Text: DOI
Svozil, Karl Logical equivalence between generalized urn models and finite automata. (English) Zbl 1104.81033 Int. J. Theor. Phys. 44, No. 7, 745-754 (2005). MSC: 81P68 03B70 03D05 68Q45 PDFBibTeX XMLCite \textit{K. Svozil}, Int. J. Theor. Phys. 44, No. 7, 745--754 (2005; Zbl 1104.81033) Full Text: DOI arXiv
Bimbó, Katalin; Dunn, J. Michael Relational semantics for Kleene logic and action logic. (English) Zbl 1099.03014 Notre Dame J. Formal Logic 46, No. 4, 461-490 (2005). Reviewer: Albert A. Mullin (Madison) MSC: 03B47 68Q70 03B60 03B45 03D05 03C13 PDFBibTeX XMLCite \textit{K. Bimbó} and \textit{J. M. Dunn}, Notre Dame J. Formal Logic 46, No. 4, 461--490 (2005; Zbl 1099.03014) Full Text: DOI
Martín-Vide, Carlos; Mateescu, Alexandru GSMs and contexts. (English) Zbl 1065.68061 Păun, G. (ed.) et al., Current trends in theoretical computer science. The challenge of the new century. Vol. 2: Formal models and semantics. River Edge, NJ: World Scientific (ISBN 981-238-965-2/hbk; 981-238-783-8/set). 581-587 (2004). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{C. Martín-Vide} and \textit{A. Mateescu}, in: Current trends in theoretical computer science. The challenge of the new century. Vol. 2: Formal models and semantics. River Edge, NJ: World Scientific. 581--587 (2004; Zbl 1065.68061)
Okhotin, Alexander LR parsing for conjunctive grammars. (English) Zbl 1041.68054 Grammars 5, No. 2, 81-124 (2002). MSC: 68Q42 PDFBibTeX XMLCite \textit{A. Okhotin}, Grammars 5, No. 2, 81--124 (2002; Zbl 1041.68054) Full Text: DOI
Eberl, Matthias Normalization by evaluation. (English) Zbl 0992.03021 München: Univ. München, Fakultät für Mathematik, Informatik und Statistik (Diss.), 62 p. (2001). MSC: 03B40 68Q42 68N18 03G30 03-02 68-02 PDFBibTeX XMLCite \textit{M. Eberl}, Normalization by evaluation. München: Univ. München, Fakultät für Mathematik, Informatik und Statistik (Diss.) (2001; Zbl 0992.03021)
Fernau, Henning; Stiebe, Ralf Valences in Lindenmayer systems. (English) Zbl 0974.68081 Fundam. Inform. 45, No. 4, 329-358 (2001). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{H. Fernau} and \textit{R. Stiebe}, Fundam. Inform. 45, No. 4, 329--358 (2001; Zbl 0974.68081)
Madlener, Klaus; Otto, Friedrich Some applications of prefix-rewriting in monoids, groups, and rings. (English) Zbl 0987.20016 Atkinson, Michael (ed.) et al., Computational and geometric aspects of modern algebra. Proceedings of the workshop, Edinburgh, UK, July 23-31, 1998. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 275, 150-191 (2000). Reviewer: Tero J.Harju (Turku) MSC: 20F10 20F05 20M05 20M35 68Q42 PDFBibTeX XMLCite \textit{K. Madlener} and \textit{F. Otto}, Lond. Math. Soc. Lect. Note Ser. 275, 150--191 (2000; Zbl 0987.20016)
Lautemann, Clemens; McKenzie, Pierre; Schwentick, Thomas; Vollmer, Heribert The descriptive complexity approach to LOGCFL. (English) Zbl 0924.03069 Meinel, Christoph (ed.) et al., STACS 99. 16th annual symposium on Theoretical aspects of computer science, Trier, Germany, March 4–6, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1563, 444-454 (1999). MSC: 03D15 68Q15 03D05 03C80 68Q45 PDFBibTeX XMLCite \textit{C. Lautemann} et al., Lect. Notes Comput. Sci. 1563, 444--454 (1999; Zbl 0924.03069)
Coquand, Thierry; Persson, Henrik A proof-theoretical investigation of Zantema’s problem. (English) Zbl 0910.03033 Nielsen, Mogens (ed.) et al., Computer science logic. 11th international workshop, CSL ’97. Annual conference of the EACSL, Aarhus, Denmark, August 23–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1414, 177-188 (1998). MSC: 03F03 68Q42 PDFBibTeX XMLCite \textit{T. Coquand} and \textit{H. Persson}, Lect. Notes Comput. Sci. 1414, 177--188 (1998; Zbl 0910.03033)
Novotný, Miroslav Reduction of pregrammars. (English) Zbl 0908.68097 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 33, No. 3, 295-307 (1998). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{M. Novotný}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 33, No. 3, 295--307 (1998; Zbl 0908.68097)
Calbrix, Hugues The second-order monadic theory of the free inverse monoid is undecidable. (La théorie monadique du second ordre du monoïde inversif libre est indécidable.) (French) Zbl 0913.03017 Bull. Belg. Math. Soc. - Simon Stevin 4, No. 1, 53-65 (1997). MSC: 03B25 68Q45 68R15 03D05 PDFBibTeX XMLCite \textit{H. Calbrix}, Bull. Belg. Math. Soc. - Simon Stevin 4, No. 1, 53--65 (1997; Zbl 0913.03017) Full Text: EuDML
Kilpeläinen, Pekka; Wood, Derick SGML and exceptions. (English) Zbl 0885.68138 Nicholas, Charles (ed.) et al., Principles of document processing. 3rd international workshop, PODP ’96, Palo Alto, CA, USA, September 23, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1293, 39-49 (1997). Reviewer: N.Curteanu (Iaşi) MSC: 68U15 68P05 68Q42 68N20 68Q55 PDFBibTeX XMLCite \textit{P. Kilpeläinen} and \textit{D. Wood}, Lect. Notes Comput. Sci. 1293, 39--49 (1997; Zbl 0885.68138)
Brüggemann-Klein, A.; Wood, D. The validation of SGML content models. (English) Zbl 0888.68122 Math. Comput. Modelling 25, No. 4, 73-84 (1997). MSC: 68U15 PDFBibTeX XMLCite \textit{A. Brüggemann-Klein} and \textit{D. Wood}, Math. Comput. Modelling 25, No. 4, 73--84 (1997; Zbl 0888.68122) Full Text: DOI
Cremanns, R. Prefix-rewriting on context-free groups. (English) Zbl 0939.20030 Appl. Algebra Eng. Commun. Comput. 8, No. 4, 315-344 (1997). MSC: 20F05 20F10 20E07 68Q42 PDFBibTeX XMLCite \textit{R. Cremanns}, Appl. Algebra Eng. Commun. Comput. 8, No. 4, 315--344 (1997; Zbl 0939.20030) Full Text: DOI
Ahonen, Helena Generating grammars for structured documents using grammatical inference methods. (English) Zbl 0872.68100 Helsinki: Univ. of Helsinki, Fac. of Science, vi, 107 p. (1996). MSC: 68Q42 68-02 PDFBibTeX XMLCite \textit{H. Ahonen}, Generating grammars for structured documents using grammatical inference methods. Helsinki: Univ. of Helsinki, Fac. of Science (1996; Zbl 0872.68100)
Bennett, Paul A course in generalized phrase structure grammar. (English) Zbl 0887.68079 London: UCL Press. xi, 227 p. (1995). Reviewer: U.Hahn (Freiburg i.Br.) MSC: 68T50 68Q42 91F20 68-01 PDFBibTeX XMLCite \textit{P. Bennett}, A course in generalized phrase structure grammar. London: UCL Press (1995; Zbl 0887.68079)
Lambek, J. Bilinear logic in algebra and linguistics. (English) Zbl 0823.03038 Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 43-59 (1995). MSC: 03G30 03F03 68Q42 PDFBibTeX XMLCite \textit{J. Lambek}, Lond. Math. Soc. Lect. Note Ser. 222, 43--59 (1995; Zbl 0823.03038)
Nourani, Cyrus F. Artificial algebras. (English) Zbl 1030.68564 Bull. EATCS 57, 215-218 (1995). MSC: 68Q70 68Q42 68T05 PDFBibTeX XMLCite \textit{C. F. Nourani}, Bull. EATCS 57, 215--218 (1995; Zbl 1030.68564)
Capiński, M.; Cutland, N. J. A nonstandard approach to the uniqueness problem for the Navier-Stokes equations. (English) Zbl 0805.35088 Monatsh. Math. 117, No. 1-2, 51-61 (1994). MSC: 35Q30 76D05 35D05 03D05 28E05 PDFBibTeX XMLCite \textit{M. Capiński} and \textit{N. J. Cutland}, Monatsh. Math. 117, No. 1--2, 51--61 (1994; Zbl 0805.35088) Full Text: DOI EuDML
Khoussainov, Bakhadyr; Nerode, Anil The notion of rank and games. (English) Zbl 0946.03013 Nerode, A. (ed.) et al., LFCS ’94, Logical foundations of computer science. 3rd International Symposium, St. Petersburg, Russia, July 11-14, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 813, 204-217 (1994). MSC: 03B25 91A44 03B15 03D05 68Q60 PDFBibTeX XMLCite \textit{B. Khoussainov} and \textit{A. Nerode}, Lect. Notes Comput. Sci. 813, 204--217 (1994; Zbl 0946.03013)
Drášil, Milan; Novotný, Miroslav A characterization of harmonic languages. (English) Zbl 0792.68080 Arch. Math., Brno 27a, 7-14 (1991). MSC: 68Q42 PDFBibTeX XMLCite \textit{M. Drášil} and \textit{M. Novotný}, Arch. Math. (Brno) 27, 7--14 (1991; Zbl 0792.68080) Full Text: EuDML
Vicolov, Sorina Two theorems about Marcus contextual languages. (English) Zbl 0792.68075 Bull. Math. Soc. Sci. Math. Roum., Nouv. Sér. 35(83), No. 1-2, 167-170 (1991). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{S. Vicolov}, Bull. Math. Soc. Sci. Math. Roum., Nouv. Sér. 35(83), No. 1--2, 167--170 (1991; Zbl 0792.68075)
Otto, Friedrich; Zhang, Louxin Decision problems for finite special string-rewriting systems that are confluent on some congruence class. (English) Zbl 0699.20047 Acta Inf. 28, No. 5, 477-510 (1991). Reviewer: F.Otto MSC: 20M05 03D03 68Q45 20F10 20M35 68Q25 68Q70 03D05 PDFBibTeX XMLCite \textit{F. Otto} and \textit{L. Zhang}, Acta Inf. 28, No. 5, 477--510 (1991; Zbl 0699.20047) Full Text: DOI
Ristad, Eric Sven Computational structure of GPSG models. (English) Zbl 0708.68045 Linguist. Philos. 13, No. 5, 521-587 (1990). Reviewer: U.Schöning MSC: 68T50 68Q15 68Q42 PDFBibTeX XMLCite \textit{E. S. Ristad}, Linguist. Philos. 13, No. 5, 521--587 (1990; Zbl 0708.68045) Full Text: DOI
Novotný, Miroslav Reducing operators for generalized grammars. (English) Zbl 0705.68069 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 13, No. 3, 237-244 (1990). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{M. Novotný}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 13, No. 3, 237--244 (1990; Zbl 0705.68069)
Stiebe, Ralf Picture generation using matrix systems. (English) Zbl 0735.68055 Aspects and prospects of theoretical computer science, Proc. 6th Int. Meet. Young Comput. Sci., Smolenice/Czech. 1990, Lect. Notes Comput. Sci. 464, 251-260 (1990). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{R. Stiebe}, Lect. Notes Comput. Sci. None, 251--260 (1990; Zbl 0735.68055)
Autebert, Jean-Michel; Gabarro, Joaquim Iterated GSMs and CO-CFL. (English) Zbl 0659.68097 Acta Inf. 26, No. 8, 749-769 (1989). Reviewer: J.Gabarro MSC: 68Q45 PDFBibTeX XMLCite \textit{J.-M. Autebert} and \textit{J. Gabarro}, Acta Inf. 26, No. 8, 749--769 (1989; Zbl 0659.68097) Full Text: DOI
Novotný, Miroslav Any linear language is weakly grammatizable by means of categories. (English) Zbl 0785.68054 Bull. Pol. Acad. Sci., Math. 36, No. 7-8, 447-452 (1988). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{M. Novotný}, Bull. Pol. Acad. Sci., Math. 36, No. 7--8, 447--452 (1988; Zbl 0785.68054)
Chytil, Michal P.; Karlgren, Hans Categorial grammars and list automata for strata of non-CF-languages. (English) Zbl 0696.03020 Categorial grammar, 85-112 (1988). MSC: 03D05 68Q45 PDFBibTeX XML
Krutský, František Reducibility and correspondences of pure generalized grammars. (English) Zbl 0691.68078 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 27, 63-84 (1988). MSC: 68Q45 PDFBibTeX XMLCite \textit{F. Krutský}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 27, 63--84 (1988; Zbl 0691.68078) Full Text: EuDML
Naumann, Sven Generalisierte Phrasenstrukturgrammatik. Parsingstrategien, Regelorganisation und Unifikation. (German) Zbl 0671.68032 Linguistische Arbeiten, 212. Tübingen: Niemeyer; ebenso: Göttingen, Univ., Diss. XI, 180 p. DM 70.00 (1988). Reviewer: S.Marcus MSC: 68Q45 68-02 68N20 68Q55 68T99 PDFBibTeX XML
Takada, Yuji Inferring parenthesis linear grammars based on control sets. (English) Zbl 0669.68052 J. Inf. Process. 12, No. 1, 27-33 (1988). MSC: 68Q45 68T05 PDFBibTeX XMLCite \textit{Y. Takada}, J. Inf. Process. 12, No. 1, 27--33 (1988; Zbl 0669.68052)
van Benthem, Johan Towards a computational semantics. (English) Zbl 0731.03020 Generalized quantifiers. Linguistic and logical approaches, Proc. Workshop, Lund/Sweden 1985, Stud. Linguist. Philos. 31, 31-71 (1987). Reviewer: Li Xiang (Guiyang) MSC: 03B65 68T50 68Q45 03D05 03C80 03B45 PDFBibTeX XML
Asveld, Peter R. J. Complexity aspects of iterated rewriting - a survey. (English) Zbl 0638.68093 Essays on concepts, formalisms, and tools, Collect. Pap. dedic. L. A. M. Verbeek, CWI Tracts 42, 89-105 (1987). MSC: 68Q45 68Q25 68Q42 PDFBibTeX XML
Krithivasan, Kamala; Das, Anindya Time varying finite automata. (English) Zbl 0655.68102 Int. J. Comput. Math. 19, No. 2, 103-123 (1986). MSC: 68Q45 68Q05 03D05 PDFBibTeX XMLCite \textit{K. Krithivasan} and \textit{A. Das}, Int. J. Comput. Math. 19, No. 2, 103--123 (1986; Zbl 0655.68102) Full Text: DOI
van Benthem, Johan Essays in logical semantics. (English) Zbl 0619.03021 Studies in Linguistics and Philosophy, Vol. 29. Dordrecht etc.: D. Reidel Publishing Company, a member of the Kluwer Academic Publishers Group. XI, 225 p. Dfl. 120.00; $ 49.00; £33.25 (1986). Reviewer: P.Materna MSC: 03B65 03-02 03C80 03C60 03C07 03A05 PDFBibTeX XML
Novotny, Miroslav On some constructions of grammars for linear languages. (English) Zbl 0598.68051 Int. J. Comput. Math. 17, 65-77 (1985). Reviewer: D.Wood MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Novotny}, Int. J. Comput. Math. 17, 65--77 (1985; Zbl 0598.68051) Full Text: DOI
Stotskiĭ, È. D. Superstructures of generalized matrix and conditional grammars. (English) Zbl 0565.68064 Sel. Math. Sov. 4, 93-100 (1985). MSC: 68Q45 PDFBibTeX XMLCite \textit{È. D. Stotskiĭ}, Sel. Math. Sov. 4, 93--100 (1985; Zbl 0565.68064)
Daini, Ola-Olu A. A language-driven generalized numerical database translator. (English) Zbl 0558.68080 BIT 25, 91-105 (1985). MSC: 68P20 68N20 68P05 PDFBibTeX XMLCite \textit{O.-O. A. Daini}, BIT 25, 91--105 (1985; Zbl 0558.68080) Full Text: DOI
Nguyen Xuan My Some generalized semi-Thue systems. (English) Zbl 0552.68063 Int. J. Comput. Math. 17, 25-36 (1985). MSC: 68Q45 PDFBibTeX XMLCite \textit{Nguyen Xuan My}, Int. J. Comput. Math. 17, 25--36 (1985; Zbl 0552.68063) Full Text: DOI
Culik, Karel II; Salomaa, Arto Ambiguity and decision problems concerning number systems. (English) Zbl 0541.03006 Inf. Control 56, 139-153 (1983). MSC: 03B25 68Q42 11A63 68Q45 03D05 94A99 PDFBibTeX XMLCite \textit{K. Culik II} and \textit{A. Salomaa}, Inf. Control 56, 139--153 (1983; Zbl 0541.03006) Full Text: DOI
Danecki, Ryszard; Karpinski, Marek Binary L systems and generalized tree automata. (English) Zbl 0525.68033 Pr. Inst. Podstaw Inf. Pol. Akad. Nauk 512, 40 p. (1983). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{R. Danecki} and \textit{M. Karpinski}, Pr. Inst. Podstaw Inf. Pol. Akad. Nauk. 512, 40 p. (1983; Zbl 0525.68033)
Engdahl, Elisabet A note on the use of lambda conversion in generalized phrase structure grammars. (English) Zbl 0525.03017 Linguist. Philos. 4, 505-515 (1982). MSC: 03B65 03B40 68Q55 68N20 PDFBibTeX XMLCite \textit{E. Engdahl}, Linguist. Philos. 4, 505--515 (1982; Zbl 0525.03017) Full Text: DOI
Ostravsky, Jan Acceptors and generalized LC-grammars. (English) Zbl 0518.68044 Arch. Math., Brno 18, 151-162 (1982). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Ostravsky}, Arch. Math. (Brno) 18, 151--162 (1982; Zbl 0518.68044) Full Text: EuDML
Engelfriet, Joost Three hierarchies of transducers. (English) Zbl 0509.68078 Math. Syst. Theory 15, 95-125 (1982). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{J. Engelfriet}, Math. Syst. Theory 15, 95--125 (1982; Zbl 0509.68078) Full Text: DOI
Engelfriet, Joost; Rozenberg, Grzegorz; Slutzki, Giora Tree transducers, L systems, and two-way machines. (English) Zbl 0426.68075 J. Comput. Syst. Sci. 20, 150-202 (1980). MSC: 68Q45 68-02 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., J. Comput. Syst. Sci. 20, 150--202 (1980; Zbl 0426.68075) Full Text: DOI Link
Stotskiĭ, È. D. Suspensions of generalized matrix and conditional grammars. (Russian) Zbl 0431.68071 Investigations on nonclassical logics and set theory, Work Collect., Moscow 1979, 173-182 (1979). Reviewer: R. Janicki; W. Zielonka MSC: 68Q45 PDFBibTeX XML
Büning, Hans Kleine Generalized vector addition systems with finite exception sets. (English) Zbl 0418.03029 Fundamentals of computation theory ’79, Proc. Conf., Berlin/Wendisch- Rietz 1979, 237-242 (1979). MSC: 03D03 03D05 03D10 68Q85 03B25 03D35 68Q60 PDFBibTeX XML
Calude, Cristian Categorical methods in computability. II. (Romanian) Zbl 0405.03025 Stud. Cercet. Mat. 30, 361-383 (1978). MSC: 03D99 03F65 18A15 18B25 03G30 68Q45 68Q55 68T99 PDFBibTeX XMLCite \textit{C. Calude}, Stud. Cercet. Mat. 30, 361--383 (1978; Zbl 0405.03025)