Q2844062 (Q2844062): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Bots
7,032,900 edits
‎Created a new Item
 
ReferenceBot (talk | contribs)
Bots
1,895,659 edits
‎Changed an Item
 
(4 intermediate revisions by 3 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: BABEL / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: TOY / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4864249 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2763636 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Perspectives of System Informatics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Safe Constraint Queries / rank
 
Normal rank
Property / cites work
 
Property / cites work: Principles of programming with complex objects and collection types / rank
 
Normal rank
Property / cites work
 
Property / cites work: A relational model of data for large shared data banks / rank
 
Normal rank
Property / cites work
 
Property / cites work: An approach to declarative programming based on a rewriting logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: The integration of functions into logic programming: From theory to practice / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deductive query languages for recursively typed complex objects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4935250 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2767053 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic programming with functions and predicates: The language Babel / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compilation of set terms in the logic data language (LDL) / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 19:49, 6 July 2024

scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    publication date
    27 August 2013
    0 references
    describes a project that uses
    BABEL
    0 references
    TOY
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68P15
    0 references
    03B70
    0 references
    68N17
    0 references
    68N18
    0 references
    68Q42
    0 references
    zbMATH DE Number
    6201933
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2844062&oldid=35348536"
    Powered by MediaWiki