Dundua, Besik; Kutsia, Temur; Marin, Mircea Variadic equational matching in associative and commutative theories. (English) Zbl 07354268 J. Symb. Comput. 106, 78-109 (2021). MSC: 03B70 68Q42 68N15 33F10 PDFBibTeX XMLCite \textit{B. Dundua} et al., J. Symb. Comput. 106, 78--109 (2021; Zbl 07354268) Full Text: DOI
Hemel, Zef; Groenewegen, Danny M.; Kats, Lennart C. L.; Visser, Eelco Static consistency checking of web applications with WebDSL. (English) Zbl 1215.68053 J. Symb. Comput. 46, No. 2, 150-182 (2011). MSC: 68N15 68N30 PDFBibTeX XMLCite \textit{Z. Hemel} et al., J. Symb. Comput. 46, No. 2, 150--182 (2011; Zbl 1215.68053) Full Text: DOI Link
Davenport, James H. Equality in computer algebra and beyond. (English) Zbl 1037.68161 J. Symb. Comput. 34, No. 4, 259-270 (2002). MSC: 68W30 68N15 68T15 PDFBibTeX XMLCite \textit{J. H. Davenport}, J. Symb. Comput. 34, No. 4, 259--270 (2002; Zbl 1037.68161) Full Text: DOI
Comon, Hubert Completion of rewrite systems with membership constraints. I: Deduction rules. (English) Zbl 0983.68091 J. Symb. Comput. 25, No. 4, 397-419 (1998). MSC: 68Q42 68T27 68N15 68W30 PDFBibTeX XMLCite \textit{H. Comon}, J. Symb. Comput. 25, No. 4, 397--419 (1998; Zbl 0983.68091) Full Text: DOI
Schreiner, Wolfgang A para-functional programming interface for a parallel computer algebra package. (English) Zbl 0863.68077 J. Symb. Comput. 21, No. 4-6, 593-614 (1996). MSC: 68W30 68N15 PDFBibTeX XMLCite \textit{W. Schreiner}, J. Symb. Comput. 21, No. 4--6, 593--614 (1996; Zbl 0863.68077) Full Text: DOI Link
Frühwirth, Thom Temporal annotated constraint logic programming. (English) Zbl 0867.68025 J. Symb. Comput. 22, No. 5-6, 555-583 (1996). MSC: 68N17 PDFBibTeX XMLCite \textit{T. Frühwirth}, J. Symb. Comput. 22, No. 5--6, 555--583 (1996; Zbl 0867.68025) Full Text: DOI Link
Norman, A. C. Compact delivery support for REDUCE. (English) Zbl 0939.68960 J. Symb. Comput. 19, No. 1-3, 133-143 (1995). MSC: 68W30 68N15 PDFBibTeX XMLCite \textit{A. C. Norman}, J. Symb. Comput. 19, No. 1--3, 133--143 (1995; Zbl 0939.68960) Full Text: DOI
Hong, Hoon; Neubacher, Andreas; Schreiner, Wolfgang The design of the SACLIB/PACLIB kernels. (English) Zbl 0939.68961 J. Symb. Comput. 19, No. 1-3, 111-132 (1995). MSC: 68W30 68N15 PDFBibTeX XMLCite \textit{H. Hong} et al., J. Symb. Comput. 19, No. 1--3, 111--132 (1995; Zbl 0939.68961) Full Text: DOI
Santas, Philip S. A type system for computer algebra. (English) Zbl 0836.68061 J. Symb. Comput. 19, No. 1-3, 79-109 (1995). MSC: 68W30 68Q65 68N15 PDFBibTeX XMLCite \textit{P. S. Santas}, J. Symb. Comput. 19, No. 1--3, 79--109 (1995; Zbl 0836.68061) Full Text: DOI
Di Blasio, Paolo; Temperini, Marco Subtyping inheritance and its application in languages for symbolic computation systems. (English) Zbl 0836.68059 J. Symb. Comput. 19, No. 1-3, 39-63 (1995). MSC: 68W30 68N15 PDFBibTeX XMLCite \textit{P. Di Blasio} and \textit{M. Temperini}, J. Symb. Comput. 19, No. 1--3, 39--63 (1995; Zbl 0836.68059) Full Text: DOI
Paulin-Mohring, Christine; Werner, Benjamin Synthesis of ML programs in the system Coq. (English) Zbl 0804.68132 J. Symb. Comput. 15, No. 5-6, 607-640 (1993). MSC: 68T15 68Q60 68N15 PDFBibTeX XMLCite \textit{C. Paulin-Mohring} and \textit{B. Werner}, J. Symb. Comput. 15, No. 5--6, 607--640 (1993; Zbl 0804.68132) Full Text: DOI
van Deursen, A.; Klint, P.; Tip, F. Origin tracking. (English) Zbl 0804.68088 J. Symb. Comput. 15, No. 5-6, 523-545 (1993). MSC: 68Q60 68Q45 68Q65 68Q42 PDFBibTeX XMLCite \textit{A. van Deursen} et al., J. Symb. Comput. 15, No. 5--6, 523--545 (1993; Zbl 0804.68088) Full Text: DOI
Coquand, Thierry; Huet, Gérard A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction. (English) Zbl 0591.68036 J. Symb. Comput. 1, 323-328 (1985). MSC: 68Q65 68Q60 03Fxx 03B35 03B15 03B40 03F55 68T15 00A15 PDFBibTeX XMLCite \textit{T. Coquand} and \textit{G. Huet}, J. Symb. Comput. 1, 323--328 (1985; Zbl 0591.68036) Full Text: DOI