Facet browsing currently unavailable
Page 1 of 1742 results
Sort by: relevance publication year
Translational lemmas for DLOGTIME-uniform circuits, alternating TMs, and PRAMs JOURNAL ARTICLE published 2 August 2007 in Acta Informatica |
A decidability criterion for van Wijngaarden grammars JOURNAL ARTICLE published 1975 in Acta Informatica |
Weakly independent database schemes JOURNAL ARTICLE published 1 January 1997 in Acta Informatica |
Partage de t�ches entre processeurs homogenes JOURNAL ARTICLE published January 1983 in Acta Informatica |
Systolic automata for VLSI on balanced trees JOURNAL ARTICLE published January 1983 in Acta Informatica |
TSO-to-TSO linearizability is undecidable JOURNAL ARTICLE published December 2018 in Acta Informatica Research funded by National Natural Science Foundation of China (No.60721061,No.60833001) | National Natural Science Foundation of China (No.61672504,No.61572478) | National Natural Science Foundation of China (No.61672503,No.61100069) | National Natural Science Foundation of China (No.61161130530) | National Key Basic Research Program of China (No.2014CB340701) | National Key Research and Development Program of China (No.2017YFB0801900) |
Complete problems for space bounded subclasses of NP JOURNAL ARTICLE published October 1985 in Acta Informatica |
Inner loops in flowgraphs and code optimization JOURNAL ARTICLE published June 1982 in Acta Informatica |
Special issue on “Combining Compositionality and Concurrency”: part 2 JOURNAL ARTICLE published June 2015 in Acta Informatica |
Preface for the SYNT JOURNAL ARTICLE published April 2020 in Acta Informatica |
Constructing maximal slicings from geometry JOURNAL ARTICLE published June 1986 in Acta Informatica |
Preface to special issue: EXPRESS/SOS 2016 + 2017 JOURNAL ARTICLE published December 2020 in Acta Informatica |
Improving time and space efficiency in generalized binary search trees JOURNAL ARTICLE published September 1987 in Acta Informatica |
Global storage cells for attributes in an attribute grammar JOURNAL ARTICLE published October 1985 in Acta Informatica |
Speeding up circularity tests for attribute grammars JOURNAL ARTICLE published November 1984 in Acta Informatica |
Formal semantics of a class of high-level primitives for coordinating concurrent processes JOURNAL ARTICLE published 1975 in Acta Informatica |
A transformation method for dynamic-sized tabulation JOURNAL ARTICLE published February 1995 in Acta Informatica |
Evaluation des performances d'un algorithme de contr�le de la coh�rence d'une base de donn�es r�partie JOURNAL ARTICLE published June 1980 in Acta Informatica |
Program proving: Coroutines JOURNAL ARTICLE published 1973 in Acta Informatica |
Testing bag-containment of conjunctive queries JOURNAL ARTICLE published 14 July 1997 in Acta Informatica |