Grigore, Radu; Kiefer, Stefan Selective monitoring. (English) Zbl 1477.68186 J. Comput. Syst. Sci. 117, 99-129 (2021). MSC: 68Q87 60J20 68Q45 PDFBibTeX XMLCite \textit{R. Grigore} and \textit{S. Kiefer}, J. Comput. Syst. Sci. 117, 99--129 (2021; Zbl 1477.68186) Full Text: DOI
Wang, Qisheng; Liu, Junyi; Ying, Mingsheng Equivalence checking of quantum finite-state machines. (English) Zbl 1511.68141 J. Comput. Syst. Sci. 116, 1-21 (2021). MSC: 68Q45 81P68 PDFBibTeX XMLCite \textit{Q. Wang} et al., J. Comput. Syst. Sci. 116, 1--21 (2021; Zbl 1511.68141) Full Text: DOI arXiv
Jančar, Petr Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence. (English) Zbl 1435.68169 J. Comput. Syst. Sci. 109, 22-44 (2020). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{P. Jančar}, J. Comput. Syst. Sci. 109, 22--44 (2020; Zbl 1435.68169) Full Text: DOI Link
Han, Sang-Eon Homotopic properties of an MA-digitization of 2D Euclidean spaces. (English) Zbl 1391.68110 J. Comput. Syst. Sci. 95, 165-176 (2018). MSC: 68U05 55P10 55U10 PDFBibTeX XMLCite \textit{S.-E. Han}, J. Comput. Syst. Sci. 95, 165--176 (2018; Zbl 1391.68110) Full Text: DOI
Chirkova, Rada Combined-semantics equivalence of conjunctive queries: decidability and tractability results. (English) Zbl 1333.68090 J. Comput. Syst. Sci. 82, No. 3, 395-465 (2016). MSC: 68P15 PDFBibTeX XMLCite \textit{R. Chirkova}, J. Comput. Syst. Sci. 82, No. 3, 395--465 (2016; Zbl 1333.68090) Full Text: DOI
Fortune, Steven Equivalence and generalization in a layered network model. (English) Zbl 1329.90028 J. Comput. Syst. Sci. 81, No. 8, 1698-1714 (2015). MSC: 90B18 68Q25 PDFBibTeX XMLCite \textit{S. Fortune}, J. Comput. Syst. Sci. 81, No. 8, 1698--1714 (2015; Zbl 1329.90028) Full Text: DOI
Bova, Simone; Chen, Hubie The complexity of equivalence, entailment, and minimization in existential positive logic. (English) Zbl 1401.03030 J. Comput. Syst. Sci. 81, No. 2, 443-457 (2015). MSC: 03B20 03D15 68Q17 PDFBibTeX XMLCite \textit{S. Bova} and \textit{H. Chen}, J. Comput. Syst. Sci. 81, No. 2, 443--457 (2015; Zbl 1401.03030) Full Text: DOI
Qiu, Daowen; Li, Lvzhou; Mateus, Paulo; Sernadas, Amilcar Exponentially more concise quantum recognition of non-RMM regular languages. (English) Zbl 1401.81039 J. Comput. Syst. Sci. 81, No. 2, 359-375 (2015). MSC: 81P68 68Q12 68Q45 PDFBibTeX XMLCite \textit{D. Qiu} et al., J. Comput. Syst. Sci. 81, No. 2, 359--375 (2015; Zbl 1401.81039) Full Text: DOI
Böhm, Stanislav; Göller, Stefan; Jančar, Petr Bisimulation equivalence and regularity for real-time one-counter automata. (English) Zbl 1285.68079 J. Comput. Syst. Sci. 80, No. 4, 720-743 (2014). MSC: 68Q45 68Q85 68Q17 PDFBibTeX XMLCite \textit{S. Böhm} et al., J. Comput. Syst. Sci. 80, No. 4, 720--743 (2014; Zbl 1285.68079) Full Text: DOI
Abiteboul, Serge; ten Cate, Balder; Katsis, Yannis On the equivalence of distributed systems with queries and communication. (English) Zbl 1358.68035 J. Comput. Syst. Sci. 79, No. 6, 739-762 (2013). MSC: 68M14 68P05 68Q25 PDFBibTeX XMLCite \textit{S. Abiteboul} et al., J. Comput. Syst. Sci. 79, No. 6, 739--762 (2013; Zbl 1358.68035) Full Text: DOI
Honkala, Juha The sequence equivalence problem for primitive D0L systems. (English) Zbl 1261.68089 J. Comput. Syst. Sci. 79, No. 1, 101-110 (2013). MSC: 68Q70 PDFBibTeX XMLCite \textit{J. Honkala}, J. Comput. Syst. Sci. 79, No. 1, 101--110 (2013; Zbl 1261.68089) Full Text: DOI
Lin, Tianrong Another approach to the equivalence of measure-many one-way quantum finite automata and its application. (English) Zbl 1252.68177 J. Comput. Syst. Sci. 78, No. 3, 807-821 (2012); corrigendum ibid. 81, No. 7, 1413 (2015). MSC: 68Q45 68Q12 PDFBibTeX XMLCite \textit{T. Lin}, J. Comput. Syst. Sci. 78, No. 3, 807--821 (2012; Zbl 1252.68177) Full Text: DOI
Ćirić, Miroslav; Stamenković, Aleksandar; Ignjatović, Jelena; Petković, Tatjana Fuzzy relation equations and reduction of fuzzy automata. (English) Zbl 1197.68051 J. Comput. Syst. Sci. 76, No. 7, 609-633 (2010). MSC: 68Q45 03E72 PDFBibTeX XMLCite \textit{M. Ćirić} et al., J. Comput. Syst. Sci. 76, No. 7, 609--633 (2010; Zbl 1197.68051) Full Text: DOI
Calvès, Christophe; Fernández, Maribel Matching and alpha-equivalence check for nominal terms. (English) Zbl 1206.68159 J. Comput. Syst. Sci. 76, No. 5, 283-301 (2010). MSC: 68Q42 68N30 PDFBibTeX XMLCite \textit{C. Calvès} and \textit{M. Fernández}, J. Comput. Syst. Sci. 76, No. 5, 283--301 (2010; Zbl 1206.68159) Full Text: DOI
Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut Deciding equivalence of top-down XML transformations in polynomial time. (English) Zbl 1167.68032 J. Comput. Syst. Sci. 75, No. 5, 271-286 (2009). MSC: 68Q45 68P05 68Q25 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., J. Comput. Syst. Sci. 75, No. 5, 271--286 (2009; Zbl 1167.68032) Full Text: DOI
Grigorian, Haik; Shoukourian, Samvel The equivalence problem of multidimensional multitape automata. (English) Zbl 1152.68029 J. Comput. Syst. Sci. 74, No. 7, 1131-1138 (2008). MSC: 68Q45 68Q05 PDFBibTeX XMLCite \textit{H. Grigorian} and \textit{S. Shoukourian}, J. Comput. Syst. Sci. 74, No. 7, 1131--1138 (2008; Zbl 1152.68029) Full Text: DOI
Bisht, Laurence; Bshouty, Nader H.; Khoury, Lawrance Learning with errors in answers to membership queries. (English) Zbl 1131.68079 J. Comput. Syst. Sci. 74, No. 1, 2-15 (2008). MSC: 68T05 PDFBibTeX XMLCite \textit{L. Bisht} et al., J. Comput. Syst. Sci. 74, No. 1, 2--15 (2008; Zbl 1131.68079) Full Text: DOI
Honkala, Juha An \(n^2\)-bound for the ultimate equivalence problem of certain D0L systems over an \(n\)-letter alphabet. (English) Zbl 1082.68051 J. Comput. Syst. Sci. 71, No. 4, 506-519 (2005). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Honkala}, J. Comput. Syst. Sci. 71, No. 4, 506--519 (2005; Zbl 1082.68051) Full Text: DOI
Xu, Baowen; Zhou, Yuming; Lu, Hongmin An improved accuracy measure for rough sets. (English) Zbl 1076.68078 J. Comput. Syst. Sci. 71, No. 2, 163-173 (2005). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{B. Xu} et al., J. Comput. Syst. Sci. 71, No. 2, 163--173 (2005; Zbl 1076.68078) Full Text: DOI
Meinke, K. Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. (English) Zbl 1054.68134 J. Comput. Syst. Sci. 67, No. 1, 127-173 (2003). MSC: 68T15 68Q42 PDFBibTeX XMLCite \textit{K. Meinke}, J. Comput. Syst. Sci. 67, No. 1, 127--173 (2003; Zbl 1054.68134) Full Text: DOI
Honkala, Juha The equivalence problem for DF0L languages and power series. (English) Zbl 1059.68062 J. Comput. Syst. Sci. 65, No. 2, 377-392 (2002). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Honkala}, J. Comput. Syst. Sci. 65, No. 2, 377--392 (2002; Zbl 1059.68062) Full Text: DOI Link
Albert, Joseph; Ioannidis, Yannis; Ramakrishnan, Raghu Equivalence of keyed relational schemas by conjunctive queries. (English) Zbl 0941.68039 J. Comput. Syst. Sci. 58, No. 3, 512-534 (1999). MSC: 68P15 PDFBibTeX XMLCite \textit{J. Albert} et al., J. Comput. Syst. Sci. 58, No. 3, 512--534 (1999; Zbl 0941.68039) Full Text: DOI Link
Bshouty, Nader H.; Hancock, Thomas R.; Hellerstein, Lisa Learning Boolean read-once formulas over generalized bases. (English) Zbl 0837.68087 J. Comput. Syst. Sci. 50, No. 3, 521-542 (1995). MSC: 68T05 PDFBibTeX XMLCite \textit{N. H. Bshouty} et al., J. Comput. Syst. Sci. 50, No. 3, 521--542 (1995; Zbl 0837.68087) Full Text: DOI Link
McAllester, David; Panangaden, Prakash; Shanbhogue, Vasant Nonexpressibility of fairness and signaling. (English) Zbl 0801.68112 J. Comput. Syst. Sci. 47, No. 2, 287-321 (1993). MSC: 68Q55 68Q10 68Q85 PDFBibTeX XMLCite \textit{D. McAllester} et al., J. Comput. Syst. Sci. 47, No. 2, 287--321 (1993; Zbl 0801.68112) Full Text: DOI
Beeri, Catriel; Kanellakis, Paris; Bancilhon, Francois; Ramakrishnan, Raghu Bounds in the propagation of selection into logic programs. (English) Zbl 0796.68054 J. Comput. Syst. Sci. 41, No. 2, 157-180 (1990). MSC: 68N17 68P15 68Q45 68N01 PDFBibTeX XMLCite \textit{C. Beeri} et al., J. Comput. Syst. Sci. 41, No. 2, 157--180 (1990; Zbl 0796.68054) Full Text: DOI
Howell, Rodney R.; Rosier, Louis E. Completeness results for conflict-free vector replacement systems. (English) Zbl 0661.68061 J. Comput. Syst. Sci. 37, No. 3, 349-366 (1988). MSC: 68Q85 68Q25 PDFBibTeX XMLCite \textit{R. R. Howell} and \textit{L. E. Rosier}, J. Comput. Syst. Sci. 37, No. 3, 349--366 (1988; Zbl 0661.68061) Full Text: DOI
Connors, Tim Equivalence of views by query capacity. (English) Zbl 0625.68080 J. Comput. Syst. Sci. 33, 234-274 (1986). MSC: 68P20 PDFBibTeX XMLCite \textit{T. Connors}, J. Comput. Syst. Sci. 33, 234--274 (1986; Zbl 0625.68080) Full Text: DOI
Bloom, Stephen L.; Esik, Zoltán Axiomatizing schemes and their behaviors. (English) Zbl 0613.68013 J. Comput. Syst. Sci. 31, 375-393 (1985). Reviewer: P.van Emde Boas MSC: 68Q60 PDFBibTeX XMLCite \textit{S. L. Bloom} and \textit{Z. Esik}, J. Comput. Syst. Sci. 31, 375--393 (1985; Zbl 0613.68013) Full Text: DOI
Senizergues, G. The equivalence and inclusion problems for NTS languages. (English) Zbl 0604.68086 J. Comput. Syst. Sci. 31, 303-331 (1985). MSC: 68Q45 PDFBibTeX XMLCite \textit{G. Senizergues}, J. Comput. Syst. Sci. 31, 303--331 (1985; Zbl 0604.68086) Full Text: DOI
Troeger, Douglas R. Weak equivalence in a class of structured program schemes. (English) Zbl 0546.68013 J. Comput. Syst. Sci. 29, 99-117 (1984). MSC: 68Q60 PDFBibTeX XMLCite \textit{D. R. Troeger}, J. Comput. Syst. Sci. 29, 99--117 (1984; Zbl 0546.68013) Full Text: DOI
Ginsburg, Seymour; Goldstine, Jonathan; Spanier, Edwin H. On the equality of grammatical families. (English) Zbl 0535.68037 J. Comput. Syst. Sci. 26, 171-196 (1983). Reviewer: J.Král MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Ginsburg} et al., J. Comput. Syst. Sci. 26, 171--196 (1983; Zbl 0535.68037) Full Text: DOI
Ginsburg, Seymour; Goldstine, Jonathan; Spanier, Edwin H. A prime decomposition theorem for grammatical families. (English) Zbl 0524.68045 J. Comput. Syst. Sci. 24, 315-361 (1982). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Ginsburg} et al., J. Comput. Syst. Sci. 24, 315--361 (1982; Zbl 0524.68045) Full Text: DOI
Gurari, Eitan M.; Ibarra, Oscar H. The complexity of decision problems for finite-turn multicounter machines. (English) Zbl 0458.68011 J. Comput. Syst. Sci. 22, 220-229 (1981). MSC: 68Q05 68Q25 03D10 03D15 03B25 PDFBibTeX XMLCite \textit{E. M. Gurari} and \textit{O. H. Ibarra}, J. Comput. Syst. Sci. 22, 220--229 (1981; Zbl 0458.68011) Full Text: DOI
Culik, Karel II; Salomaa, Arto Test sets and checking words for homomorphism equivalence. (English) Zbl 0451.68046 J. Comput. Syst. Sci. 20, 379-395 (1980). MSC: 68Q45 PDFBibTeX XMLCite \textit{K. Culik II} and \textit{A. Salomaa}, J. Comput. Syst. Sci. 20, 379--395 (1980; Zbl 0451.68046) Full Text: DOI
Hunt, H. B. III Observations on the complexity of regular expression problems. (English) Zbl 0453.68015 J. Comput. Syst. Sci. 19, 222-236 (1979). MSC: 68Q25 68Q45 68Q60 PDFBibTeX XMLCite \textit{H. B. Hunt III}, J. Comput. Syst. Sci. 19, 222--236 (1979; Zbl 0453.68015) Full Text: DOI
Naude, G. Universal realization. (English) Zbl 0427.18007 J. Comput. Syst. Sci. 19, 277-289 (1979). MSC: 18B20 68Q70 PDFBibTeX XMLCite \textit{G. Naude}, J. Comput. Syst. Sci. 19, 277--289 (1979; Zbl 0427.18007) Full Text: DOI
Friedman, E. P.; Greibach, S. A. Superdeterministic DPDAs: The method of accepting does affect decision problems. (English) Zbl 0419.68100 J. Comput. Syst. Sci. 19, 79-117 (1979). MSC: 68Q45 68Q05 03D05 03B25 PDFBibTeX XMLCite \textit{E. P. Friedman} and \textit{S. A. Greibach}, J. Comput. Syst. Sci. 19, 79--117 (1979; Zbl 0419.68100) Full Text: DOI
Blattner, Meera; Head, Tom The decidability of equivalence for deterministic finite transducers. (English) Zbl 0416.68073 J. Comput. Syst. Sci. 19, 45-49 (1979). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Blattner} and \textit{T. Head}, J. Comput. Syst. Sci. 19, 45--49 (1979; Zbl 0416.68073) Full Text: DOI
Fischer, Michael J.; Ladner, Richard E. Propositional dynamic logic of regular programs. (English) Zbl 0408.03014 J. Comput. Syst. Sci. 18, 194-211 (1979). MSC: 03B45 68Q65 68N01 03B60 68W99 68Q05 03D10 PDFBibTeX XMLCite \textit{M. J. Fischer} and \textit{R. E. Ladner}, J. Comput. Syst. Sci. 18, 194--211 (1979; Zbl 0408.03014) Full Text: DOI
Nozaki, A. Equivalence problem of non-deterministic finite automata. (English) Zbl 0401.68028 J. Comput. Syst. Sci. 18, 8-17 (1979). MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{A. Nozaki}, J. Comput. Syst. Sci. 18, 8--17 (1979; Zbl 0401.68028) Full Text: DOI
Linna, Matti Two decidability results for deterministic pushdown automata. (English) Zbl 0399.03023 J. Comput. Syst. Sci. 18, 92-107 (1979). MSC: 03D05 03B25 68Q05 68Q45 PDFBibTeX XMLCite \textit{M. Linna}, J. Comput. Syst. Sci. 18, 92--107 (1979; Zbl 0399.03023) Full Text: DOI