Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings - MaRDI portal

Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings (Q1801227)

From MaRDI portal





scientific article; zbMATH DE number 194635
Language Label Description Also known as
English
Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings
scientific article; zbMATH DE number 194635

    Statements

    Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings (English)
    0 references
    0 references
    0 references
    0 references
    5 June 1993
    0 references
    The articles of this volume will be reviewed individually under the abbreviation ``Algebraic and logic programming, Proc. Int. Workshop, Gaussig/GDR 1988, Lect. Notes Comput. Sci. 343 (1989)''. This volume contains twenty-three papers and three abstracts of papers presented at a workshop on Algebraic and Logic Programming. Equational programming, algebraic specifications, relational logic programming, relations between the functional and the relational paradigms, and term rewriting are considered from several different angles.
    0 references
    Algebraic and logic programming
    0 references
    Proceedings
    0 references
    Workshop
    0 references
    Gaussig (GDR)
    0 references
    functional programming
    0 references
    algebraic specifications. Logic Programming
    0 references
    term rewriting
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references