scientific article; zbMATH DE number 793951

MaRDI QIDQ4846808zbMATH OpenFDO

Authors Jean-Paul Tremblay

Publication date 10 September 1995

zbMATH Keywords

algebraic manipulation of logical expressionscomputational complexitycomputing pathscontext-free languagesdecidabilityderivationsdiscrete mathematicsequational logicformal languagesfunctional programming language Mirandafunctionsgrammarsgraphsinductionlanguage \(Z\)LL(1) parser generator systemminimum weighted pathsnatural deductionpredicate calculusprogram correctnessPrologpropositional calculusrecursionrecursive functionsrelational algebrarelational databasesrelationsresolution theorem provingsetssoftware developmentspanning treestext booktreesunification

Mathematics Subject Classification ID

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

Cited in

(11)

• Inverse \(M\)-matrix completion problem with zeros in the inverse completion
• scientific article; zbMATH DE number 1001667 (Why is no real title available?)
• Matrix Approaches for Variable Precision Rough Approximations
• scientific article; zbMATH DE number 107624 (Why is no real title available?)
• scientific article; zbMATH DE number 595198 (Why is no real title available?)
• scientific article; zbMATH DE number 1361527 (Why is no real title available?)
• scientific article; zbMATH DE number 789390 (Why is no real title available?)
• Personal Reflections on the Role of Mathematical Logic in Computer Science
• Logic and discrete mathematics. A concise introduction
• 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:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4846808)