-

-B

in: Hlawka E. and Kuich W.
"Geordnete Schätzfunktionen und Diskrepanz. II" (1965) 

-calculus

in: Beckmann A.
"Exact bounds for lengths of reductions in typed $\lambda$-calculus" (2001) 

-continuous

in: Kuich W.
"Automata and languages generalized to $\omega$-continuous semirings" (1991) 

-contraction

in: Ciabattoni A., Godo L. and Esteva F.
"T-norm based logics with $n$-contraction" (2002) 

-Natur

in: Hlawka E. and Kuich W.
"Geordnete Schätzfunktionen und Diskrepanz. II" (1965) 

-Proofs

in: Baaz M. and Zach R.
"Introducing Atomic Cuts into Cut-free $$LK_B-Proofs" (1992) 

-regular

in: Kuich W.
"The complexity of skewlinear tuple languages and $o$-regular languages" (1971) 

Submit a bug

This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)