Differential logic programs: Programming methodologies and semantics (Q1126260)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Differential logic programs: Programming methodologies and semantics |
scientific article; zbMATH DE number 955131
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Differential logic programs: Programming methodologies and semantics |
scientific article; zbMATH DE number 955131 |
Statements
Differential logic programs: Programming methodologies and semantics (English)
0 references
8 December 1996
0 references
differential logic programs
0 references
reusability
0 references
code sharing
0 references
information hiding
0 references
