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
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| 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 | |||
Revision as of 15:41, 6 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
24 July 2013
0 references
