Improving the Efficiency of Non-Deterministic Computations1 1Supported in part by NSF grants INT-9981317 and CCR-0110496 and by the Spanish Knowledge Society Foundation, the Spanish Research Funding Agency (CICYT) TIC 2001-2705-C03-01, by Acción Integrade Hispano-Italiana HI2000-0161, and the Valencian Research Council under grant GV01-424. (Q2841287): Difference between revisions

From MaRDI portal
Changed an Item
Set OpenAlex properties.
 
(3 intermediate revisions by 3 users not shown)
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: Q4421874 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4364366 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2729761 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Kernel-LEAF: A logic plus functional language / 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: Q4297316 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nondeterministic algebraic specifications and nonconfluent term rewriting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic programming with functions and predicates: The language Babel / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/s1571-0661(04)80347-5 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1513973968 / rank
 
Normal rank

Latest revision as of 10:01, 30 July 2024

scientific article
Language Label Description Also known as
English
Improving the Efficiency of Non-Deterministic Computations1 1Supported in part by NSF grants INT-9981317 and CCR-0110496 and by the Spanish Knowledge Society Foundation, the Spanish Research Funding Agency (CICYT) TIC 2001-2705-C03-01, by Acción Integrade Hispano-Italiana HI2000-0161, and the Valencian Research Council under grant GV01-424.
scientific article

    Statements

    Improving the Efficiency of Non-Deterministic Computations1 1Supported in part by NSF grants INT-9981317 and CCR-0110496 and by the Spanish Knowledge Society Foundation, the Spanish Research Funding Agency (CICYT) TIC 2001-2705-C03-01, by Acción Integrade Hispano-Italiana HI2000-0161, and the Valencian Research Council under grant GV01-424. (English)
    0 references
    0 references
    0 references
    0 references
    24 July 2013
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers