scientific article; zbMATH DE number 793951

zbMath0848.68003MaRDI QIDQ4846808

Jean-Paul Tremblay, Unnamed Author

Publication date: 10 September 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

relationssetsdiscrete mathematicscomputational complexitypredicate calculusequational logicderivationsrecursiongraphsdecidabilitytreesunificationnatural deductioninductionrelational algebraformal languagescontext-free languagesfunctionsgrammarsPrologpropositional calculusrecursive functionsrelational databasesspanning treesprogram correctnessresolution theorem provingsoftware developmentminimum weighted pathstext bookfunctional programming language Mirandalanguage \(Z\)algebraic manipulation of logical expressionscomputing pathsLL(1) parser generator system

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Discrete mathematics in relation to computer science (68Rxx)

Related Items (4)

Inverse \(M\)-matrix completion problem with zeros in the inverse completion ⋮ Matrix Approaches for Variable Precision Rough Approximations ⋮ Closures and topological closures in quasi-discrete closure spaces ⋮ Invertible approximation operators of generalized rough sets and fuzzy rough sets

This page was built for publication: