Search alternatives:
free university » female university
duke university » pre university
Cover Image
Read Now

161
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...A universal Turing machine -- Recursive inseparability in linear logic -- The basic logic of proofs...”
Cover Image
Read Now

162
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... for Compensation Handling -- Separating Shape Graphs -- Deadlock-Free Channels and Locks -- Verifying a Compiler...”
Cover Image
Read Now

163
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Are the Acyclic Context-Sensitive Languages -- Recognizable Sets of N-Free Pomsets Are Monadically Axiomatizable...”
Cover Image
Read Now

164
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Theorems and First-Order Logic for N-Free Pomsets -- An Ehrenfeucht-Fraïssé Approach to Collapse Results...”
Cover Image
Read Now

165
by Li, Feng
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Feedback -- Interference-Free Transmission for X channels...”
Cover Image
Read Now

166
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... and Quasidiagonality -- Approximate Unitary Equivalence and the Topology of Ext(A, B) -- Free Products of Exact Groups...”
Cover Image
Read Now

167
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Semantics in Isabelle/HOL -- Explicit Universes for the Calculus of Constructions -- Formalised Cut...”
Cover Image
Read Now

168
Published 1981
Springer Berlin Heidelberg
Table of Contents: “... via translation into CCS -- More about the "geography" of context-free languages -- On the power...”
Cover Image
Read Now

169
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages -- Operational...”
Cover Image
Read Now

170
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... a monoid presented by a finite weight-reducing and confluent thue system is torsion-free -- A shift...”
Cover Image
Read Now

171
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Growth with Branching Processes — A Survey -- Reaction-diffusion Processes in Scale-free Networks...”
Cover Image
Read Now

172
by Seele, Peter, Zapf, Lucas
Published 2022
Springer Berlin Heidelberg
Table of Contents: “... or: Thoughts are free - but no longer secret -- Conclusions -- Outlook: Digital authenticity - an immersive...”
Cover Image
Read Now

173
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...Questions of decidability for context-free chain code picture languages -- Chomsky hierarchy...”
Cover Image
Read Now

174
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...On a Powerful Class of Non-universal P Systems with Active Membranes -- State Complexity of Prefix...”
Cover Image
Read Now

175
Published 1996
Springer US
“... and Related Lipid Mediators, held at the Free University Medical Hospital Ben­ jamin Franklin in Berlin, from...”
Cover Image
Read Now

176
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...Universality, Tolerance, Chaos and Order -- Super-Uniformity of The Typical Billiard Path...”
Cover Image
Read Now

177
by Etro, Federico
Published 2009
Springer Berlin Heidelberg
“...Avinash Dixit, Princeton University A must read for macroeconomists and international economists...”
Cover Image
Read Now

178
by Süssmuth, Bernd, Komlos, John
Published 2022
Springer Berlin Heidelberg
“... Robert Fogel und lehrte an der Duke University, der University of North Carolina (Chapel Hill), der...”
Cover Image
Read Now

179
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...-Secure Commitment Schemes from Collision-Free Hashing -- Symmetric Systems -- Improved Differential...”
Cover Image
Read Now

180
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Invited Talk -- Formal Foundations for Aspects -- Contributed Papers -- Sampled Universality...”