Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 76
Volume 76, Number 1, 1990
- Anthony J. Bonner:
Hypothetical Datalog: Complexity and Expressibility. 3-51
- Atsushi Ohori:
Semantics of Types for Database Objects. 53-91 - Dino Karabeg, Victor Vianu:
Parallel Update Transactions. 93-114 - Udo W. Lipeck:
Transformation of Dynamic Integrity Constraints into Transaction Specifications. 115-142 - Guozhu Dong, Seymour Ginsburg:
On the Decomposition of Datalog Program Mappings. 143-177
Volume 76, Numbers 2-3, 1990
- Joost N. Kok, Jan J. M. M. Rutten:
Contractions in Comparing Concurrency Semantics. 179-222 - Yasubumi Sakakibara:
Learning Context-Free Grammars from Structural Data in Polynomial Time. 223-242 - Erick Timmerman:
The Three Subfamilies of Rational omega-Languages Closed under omega-Transduction. 243-250 - Pascal Weil:
Products of Languages with Counter. 251-260 - Seppo Tirri
:
The Congruence Theory of Closure Properties of Regular Tree Languages. 261-271 - Kosaburo Hashiguchi, H. Yoo:
Extended Regular Expressions of Star Degree at Most Two. 273-284 - Antoine Petit:
Distribution and Synchronized Automata. 285-308 - Susumu Yamasaki:
Recursion Equation Sets Computing Logic Programs. 309-322 - Tao Jiang:
On the Complexity of 1-Tape ATMs and Off-line 1-Tape ATMs Running in Constant Reversals. 323-330 - Ethan Gannett, Suresh C. Kothari, Hsu-Chun Yen:
On Optimal Parallelization of Sorting Networks. 331-341 - R. Sarnath, Xin He:
A P-Complete Graph Partition Problem. 343-351
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-11-30 21:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
