Rudolph, Sebastian Succinctness and tractability of closure operator representations. (English) Zbl 1418.06001 Theor. Comput. Sci. 658, Part B, 327-345 (2017). MSC: 06A15 68T30 PDFBibTeX XMLCite \textit{S. Rudolph}, Theor. Comput. Sci. 658, Part B, 327--345 (2017; Zbl 1418.06001) Full Text: DOI
Barash, Mikhail; Okhotin, Alexander Two-sided context specifications in formal grammars. (English) Zbl 1408.68086 Theor. Comput. Sci. 591, 134-153 (2015). MSC: 68Q42 PDFBibTeX XMLCite \textit{M. Barash} and \textit{A. Okhotin}, Theor. Comput. Sci. 591, 134--153 (2015; Zbl 1408.68086) Full Text: DOI
Fenwick, Peter Burrows-Wheeler compression: Principles and reflections. (English) Zbl 1144.68018 Theor. Comput. Sci. 387, No. 3, 200-219 (2007). MSC: 68P30 PDFBibTeX XMLCite \textit{P. Fenwick}, Theor. Comput. Sci. 387, No. 3, 200--219 (2007; Zbl 1144.68018) Full Text: DOI
Biernacka, Małgorzata; Danvy, Olivier A syntactic correspondence between context-sensitive calculi and abstract machines. (English) Zbl 1111.68065 Theor. Comput. Sci. 375, No. 1-3, 76-108 (2007). MSC: 68Q55 68N18 68Q45 PDFBibTeX XMLCite \textit{M. Biernacka} and \textit{O. Danvy}, Theor. Comput. Sci. 375, No. 1--3, 76--108 (2007; Zbl 1111.68065) Full Text: DOI
Dami, Laurent A lambda-calculus for dynamic binding. (English) Zbl 0895.68015 Theor. Comput. Sci. 192, No. 2, 201-231 (1998). MSC: 68N15 PDFBibTeX XMLCite \textit{L. Dami}, Theor. Comput. Sci. 192, No. 2, 201--231 (1998; Zbl 0895.68015) Full Text: DOI
Mason, Ian A. A first order logic of effects. (English) Zbl 0901.68182 Theor. Comput. Sci. 185, No. 2, 277-318 (1997). MSC: 68T15 03B70 PDFBibTeX XMLCite \textit{I. A. Mason}, Theor. Comput. Sci. 185, No. 2, 277--318 (1997; Zbl 0901.68182) Full Text: DOI