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
Carlucci, Lorenzo; Case, John; Jain, Sanjay Learning correction grammars. (English) Zbl 1193.03067 J. Symb. Log. 74, No. 2, 489-516 (2009). MSC: 03D05 68Q32 91E40 PDFBibTeX XMLCite \textit{L. Carlucci} et al., J. Symb. Log. 74, No. 2, 489--516 (2009; Zbl 1193.03067) Full Text: DOI
Fischer, E.; Makowsky, J. A. On spectra of sentences of monadic second order logic with counting. (English) Zbl 1070.03018 J. Symb. Log. 69, No. 3, 617-640 (2004). MSC: 03C13 03B15 03D05 68Q45 PDFBibTeX XMLCite \textit{E. Fischer} and \textit{J. A. Makowsky}, J. Symb. Log. 69, No. 3, 617--640 (2004; Zbl 1070.03018) Full Text: DOI
Dybjer, Peter A general formulation of simultaneous inductive-recursive definitions in type theory. (English) Zbl 0960.03048 J. Symb. Log. 65, No. 2, 525-549 (2000). MSC: 03F35 03D70 PDFBibTeX XMLCite \textit{P. Dybjer}, J. Symb. Log. 65, No. 2, 525--549 (2000; Zbl 0960.03048) Full Text: DOI
van Oosten, Jaap Two remarks on the Lifschitz realizability topos. (English) Zbl 0854.03059 J. Symb. Log. 61, No. 1, 70-79 (1996). Reviewer: P.Bankston MSC: 03G30 18B25 03F65 PDFBibTeX XMLCite \textit{J. van Oosten}, J. Symb. Log. 61, No. 1, 70--79 (1996; Zbl 0854.03059) Full Text: DOI
Baliga, Ganesh; Case, John; Jain, Sanjay; Suraj, Mandayam Machine learning of higher-order programs. (English) Zbl 0814.03034 J. Symb. Log. 59, No. 2, 486-500 (1994). Reviewer: P.Jančar (Ostrava) MSC: 03D80 68Q05 68T05 PDFBibTeX XMLCite \textit{G. Baliga} et al., J. Symb. Log. 59, No. 2, 486--500 (1994; Zbl 0814.03034) Full Text: DOI