scientific article; zbMATH DE number 217097
zbMath0781.03003MaRDI QIDQ4693763
No author found.
Publication date: 27 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
artificial intelligencefunctional programming languageprogram verificationprogramming language semanticsalgebraic methodsmany-sorted logicsubdirect representationmany-sorted universal algebrashybrid reasoningMany-sorted logicinduction principles for timemany-sorted equational methodsmany-sorted recursion equationsmany-sorted sequent calculusmany-sorted verification logicsorder- sorted predicate logic
Modal logic (including the logic of norms) (03B45) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Knowledge representation (68T30) Logic in computer science (03B70) Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Classical first-order logic (03B10) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items