researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Theory Comput. Syst.
Home
Index
Info
Issue
Volume
39
, Issue
2
277
--
296
John M. Hitchcock
,
Jack H. Lutz
.
Why Computational Complexity Requires Stricter Martingales
297
--
309
Étienne Ailloud
,
Arnaud Durand
.
The Expressive Power of Bijections over Weakly Arithmetized Structures
311
--
319
Xiaoyu Song
,
Guowu Yang
,
Marek A. Perkowski
,
Yuke Wang
.
Algebraic Characterization of Reversible Logic Gates
321
--
345
Gianni Franceschini
,
Roberto Grossi
.
Optimal Implicit Dictionaries over Unbounded Universes
347
--
383
Christof Löding
.
Reachability Problems on Regular Ground Tree Rewriting Graphs
385
--
385
Xizhong Zheng
,
Robert Rettinger
.
A Reference Correction of Effective Jordan Decomposition