Santos, Jõao; Rocha, Ricardo On the implementation of an or-parallel Prolog system for clusters of multicores. (English) Zbl 1379.68081 Theory Pract. Log. Program. 16, No. 5-6, 899-915 (2016). MSC: 68N17 68M20 PDF BibTeX XML Cite \textit{J. Santos} and \textit{R. Rocha}, Theory Pract. Log. Program. 16, No. 5--6, 899--915 (2016; Zbl 1379.68081) Full Text: DOI arXiv OpenURL
Dubey, Saguna; Sambaraju, Sandeep; Cautha, Sarat Chandra; Arya, Vednath; Chakravarthy, V. S. A phase dynamic model of systematic error in simple copying tasks. (English) Zbl 1266.92008 Biol. Cybern. 101, No. 3, 201-213 (2009). MSC: 92B25 37N25 PDF BibTeX XML Cite \textit{S. Dubey} et al., Biol. Cybern. 101, No. 3, 201--213 (2009; Zbl 1266.92008) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{A. Klein} and \textit{M. Kutrib}, Int. J. Found. Comput. Sci. 18, No. 6, 1271--1282 (2007; Zbl 1183.68328) Full Text: DOI OpenURL
Domon, Koji Price discrimination of digital content. (English) Zbl 1254.91342 Econ. Lett. 93, No. 3, 421-426 (2006); erratum ibid. 97, No. 1, 87 (2012). MSC: 91B42 91B74 91B24 PDF BibTeX XML Cite \textit{K. Domon}, Econ. Lett. 93, No. 3, 421--426 (2006; Zbl 1254.91342) Full Text: DOI OpenURL
Birkedal, Lars; Torp-Smith, Noah; Reynolds, John C. Local reasoning about a copying garbage collector. (English) Zbl 1325.68041 Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 220-231 (2004). MSC: 68N15 03B70 68M20 PDF BibTeX XML Cite \textit{L. Birkedal} et al., in: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '04, Venice, Italy, January 14--16, 2004. New York, NY: Association for Computing Machinery (ACM). 220--231 (2004; Zbl 1325.68041) Full Text: DOI OpenURL
Halanay, Andrei; Safta, Carmen A. Stability and accuracy of steady-state motions in loaded copying system: analytical approach. (English) Zbl 0977.76518 Comput. Assist. Mech. Eng. Sci. 6, No. 1, 107-113 (1999). MSC: 76E99 70E50 PDF BibTeX XML Cite \textit{A. Halanay} and \textit{C. A. Safta}, Comput. Assist. Mech. Eng. Sci. 6, No. 1, 107--113 (1999; Zbl 0977.76518) OpenURL
De Luca, Aldo; Varricchio, Stefano Finiteness and regularity in semigroups and formal languages. (English) Zbl 0935.68056 EATCS Monographs on Theoretical Computer Science. Berlin: Springer. x, 240 p. (1999). Reviewer: S.Gerber (Leipzig) MSC: 68Q45 68R15 68-02 68Q42 PDF BibTeX XML Cite \textit{A. De Luca} and \textit{S. Varricchio}, Finiteness and regularity in semigroups and formal languages. Berlin: Springer (1999; Zbl 0935.68056) OpenURL
Satta, Giorgio Trading independent for synchronized parallelism in finite copying parallel rewriting systems. (English) Zbl 0916.68085 J. Comput. Syst. Sci. 56, No. 1, 27-45 (1998). MSC: 68Q42 PDF BibTeX XML Cite \textit{G. Satta}, J. Comput. Syst. Sci. 56, No. 1, 27--45 (1998; Zbl 0916.68085) Full Text: DOI OpenURL
Li, Xining A new term representation method for prolog. (English) Zbl 0905.68023 J. Log. Program. 34, No. 1, 43-57 (1998). MSC: 68N17 PDF BibTeX XML Cite \textit{X. Li}, J. Log. Program. 34, No. 1, 43--57 (1998; Zbl 0905.68023) Full Text: DOI OpenURL
Bovet, Daniel P.; Varricchio, Stefano On the regularity of languages on a binary alphabet generated by copying systems. (English) Zbl 0759.68049 Inf. Process. Lett. 44, No. 3, 119-123 (1992). MSC: 68Q45 68R15 PDF BibTeX XML Cite \textit{D. P. Bovet} and \textit{S. Varricchio}, Inf. Process. Lett. 44, No. 3, 119--123 (1992; Zbl 0759.68049) Full Text: DOI OpenURL
Ali, Khayri A. M. OR-parallel execution of Prolog on a multi-sequential machine. (English) Zbl 0614.68019 Int. J. Parallel Program. 15, 189-214 (1986). MSC: 68N25 PDF BibTeX XML Cite \textit{K. A. M. Ali}, Int. J. Parallel Program. 15, 189--214 (1986; Zbl 0614.68019) Full Text: DOI OpenURL
Ehrenfeucht, A.; Rozenberg, G. On regularity of languages generated by copying systems. (English) Zbl 0549.68075 Discrete Appl. Math. 8, 313-317 (1984). Reviewer: F.Petrescu MSC: 68Q45 PDF BibTeX XML Cite \textit{A. Ehrenfeucht} and \textit{G. Rozenberg}, Discrete Appl. Math. 8, 313--317 (1984; Zbl 0549.68075) Full Text: DOI OpenURL