Strobel, Michael Non-standard analysis in dynamic geometry. (English) Zbl 1444.68278 J. Symb. Comput. 97, 69-108 (2020). MSC: 68U05 03H05 51N15 PDFBibTeX XMLCite \textit{M. Strobel}, J. Symb. Comput. 97, 69--108 (2020; Zbl 1444.68278) Full Text: DOI arXiv
Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly Decidable fragments of many-sorted logic. (English) Zbl 1183.03007 J. Symb. Comput. 45, No. 2, 153-172 (2010). MSC: 03B25 68Q60 PDFBibTeX XMLCite \textit{A. Abadi} et al., J. Symb. Comput. 45, No. 2, 153--172 (2010; Zbl 1183.03007) Full Text: DOI
de Nivelle, Hans; de Rijke, Maarten Deciding the guarded fragments by resolution. (English) Zbl 1012.03046 J. Symb. Comput. 35, No. 1, 21-58 (2003). MSC: 03B70 03B45 03B25 03B35 PDFBibTeX XMLCite \textit{H. de Nivelle} and \textit{M. de Rijke}, J. Symb. Comput. 35, No. 1, 21--58 (2003; Zbl 1012.03046) Full Text: DOI
Petermann, Uwe Connection calculus theorem proving with multiple built-in theories. (English) Zbl 0967.68150 J. Symb. Comput. 29, No. 2, 373-392 (2000). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{U. Petermann}, J. Symb. Comput. 29, No. 2, 373--392 (2000; Zbl 0967.68150) Full Text: DOI
Omodeo, Eugenio G.; Parlamento, Franco; Policriti, Alberto A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets. (English) Zbl 0796.03009 J. Symb. Comput. 15, No. 5-6, 673-704 (1993). MSC: 03B25 03E30 03B35 03B70 68Q60 68Q65 PDFBibTeX XMLCite \textit{E. G. Omodeo} et al., J. Symb. Comput. 15, No. 5--6, 673--704 (1993; Zbl 0796.03009) Full Text: DOI
Richardson, Daniel Wu’s method and the Khovanskii finiteness theorem. (English) Zbl 0749.58002 J. Symb. Comput. 12, No. 2, 127-141 (1991). Reviewer: W.Kaiser (Zaporozhye) MSC: 58A05 PDFBibTeX XMLCite \textit{D. Richardson}, J. Symb. Comput. 12, No. 2, 127--141 (1991; Zbl 0749.58002) Full Text: DOI
Shackell, John Growth estimates for exp-log functions. (English) Zbl 0727.26002 J. Symb. Comput. 10, No. 6, 611-632 (1990). Reviewer: F.J.van der Linden (Eindhoven) MSC: 26A12 26-04 26A09 68W30 PDFBibTeX XMLCite \textit{J. Shackell}, J. Symb. Comput. 10, No. 6, 611--632 (1990; Zbl 0727.26002) Full Text: DOI
Le Chenadec, Philippe On the logic of unification. (English) Zbl 0682.03033 J. Symb. Comput. 8, No. 1-2, 141-199 (1989). Reviewer: N.Zamov MSC: 03F35 03B35 03F05 PDFBibTeX XMLCite \textit{P. Le Chenadec}, J. Symb. Comput. 8, No. 1--2, 141--199 (1989; Zbl 0682.03033) Full Text: DOI
Cantone, Domenico; Ghelfo, Susanna; Omodeo, Eugenio The automation of syllogistic. I: Syllogistic normal forms. (English) Zbl 0658.03010 J. Symb. Comput. 6, No. 1, 83-98 (1988). Reviewer: L.State MSC: 03B35 03B30 PDFBibTeX XMLCite \textit{D. Cantone} et al., J. Symb. Comput. 6, No. 1, 83--98 (1988; Zbl 0658.03010) Full Text: DOI
Pasztor, Ana Non-standard algorithmic and dynamic logic. (English) Zbl 0594.68032 J. Symb. Comput. 2, 59-81 (1986). Reviewer: R.Horsch MSC: 68Q65 68Q60 68-02 03B45 03H99 PDFBibTeX XMLCite \textit{A. Pasztor}, J. Symb. Comput. 2, 59--81 (1986; Zbl 0594.68032) Full Text: DOI
Madlener, Klaus; Otto, Friedrich Pseudo-natural algorithms for the word problem for finitely presented monoids and groups. (English) Zbl 0591.20038 J. Symb. Comput. 1, No. 4, 383-418 (1985). Reviewer: V.A.Roman’kov MSC: 20F10 20M05 20F05 68Q25 03D40 03D15 PDFBibTeX XMLCite \textit{K. Madlener} and \textit{F. Otto}, J. Symb. Comput. 1, 383--418 (1985; Zbl 0591.20038) Full Text: DOI