Journals in DBLP
Asat Arslanov On the phenomenon of autocomputability. [Citation Graph (0, 0)][DBLP ] Journal ] Izumi Takeuti Pruning Terms for Principal Type Assignment. [Citation Graph (0, 0)][DBLP ] Journal ] Nadia Nedjah , Luiza de Macedo Mourelle Dynamic deterministic pattern-matching. [Citation Graph (0, 0)][DBLP ] Journal ] Yih-Kai Lin , Hsu-Chun Yen An omega-automata approach to the compression of bi-level images. [Citation Graph (0, 0)][DBLP ] Journal ] Padmanabhan Krishnan Automatic synthesis of schedulers in timed systems. [Citation Graph (0, 0)][DBLP ] Journal ] Bakhadyr Khoussainov Algebraic constraints, automata, and regular languages. [Citation Graph (0, 0)][DBLP ] Journal ] Mohamed Hamada Strong completeness of a narrowing calculus for conditional rewrite systems with extra variables. [Citation Graph (0, 0)][DBLP ] Journal ] Bernd Gärtner , Emo Welzl On a simple sampling lemma. [Citation Graph (0, 0)][DBLP ] Journal ] Ken-etsu Fujita Multiple-conclusion system as communication calculus. [Citation Graph (0, 0)][DBLP ] Journal ] Lance Fortnow One complexity theorist's view of quantum computing. [Citation Graph (0, 0)][DBLP ] Journal ] Mariangiola Dezani-Ciancaglini , Paula Severi , Fer-Jan de Vries Böhm's theorem for Berarducci trees. [Citation Graph (0, 0)][DBLP ] Journal ] Bruce Davies , Graham Wrightson An approach to strategies in concurrent systems. [Citation Graph (0, 0)][DBLP ] Journal ] Rod M. Burstall ProveEasy: helping people learn to do proofs. [Citation Graph (0, 0)][DBLP ] Journal ] David A. Wolfram Preface. [Citation Graph (0, 0)][DBLP ] Journal ] 