×

Found 110 Documents (Results 1–100)

100
MathJax

Proving confluence of term rewriting systems via persistency and decreasing diagrams. (English) Zbl 1416.68088

Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 46-60 (2014).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI

Synthesis of persistent systems. (English) Zbl 1334.68146

Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-07733-8/pbk). Lecture Notes in Computer Science 8489, 111-129 (2014).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Design and implementation of a database programming language for XML-based applications. (English) Zbl 1116.68033

DISDBIS, Dissertationen zu Datenbanken und Informationssystemen 97. Berlin: Akademische Verlagsgesellschaft Aka; Amsterdam: IOS Press; Lübeck: Univ. Lübeck, Technisch-Naturwissenschaftliche Fakultät (Diss.) (ISBN 978-3-89838-497-1; 978-1-58603-686-7/pbk). xi, 169 p. (2006).
MSC:  68P15 68N15 68-02
PDF BibTeX XML Cite

Persistent objects in Oberon (operating) system. (English) Zbl 0943.68029

Herceg, D. (ed.) et al., PRIM ’96. Proceedings of the XI conference on applied mathematics, Budva, Yugoslavia, June 3-6, 1996. Novi Sad: Univ. of Novi Sad, Fac. of Science, Inst. of Math. 33-40 (1997).
MSC:  68N25 68N20
PDF BibTeX XML Cite

Quasi-periodic solutions of Hamiltonian evolution equations. (English) Zbl 0886.35144

Goldstein, Jerome A. (ed.) et al., Stochastic processes and functional analysis. In celebration of M. M. Rao’s 65th birthday. Proceedings of the conference, Riverside, CA, USA, November 18–20, 1994. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 186, 17-38 (1997).
Reviewer: L.Vazquez (Madrid)
MSC:  35Q58 35B15 35B10 70H05
PDF BibTeX XML Cite

Gibbs measures, quasi-periodic solutions and nonlinear partial differential equations. (English) Zbl 0889.35096

Jerison, David (ed.) et al., The legacy of Norbert Wiener: a centennial symposium. In honor of the 100th anniversary of Norbert Wiener’s birth, October 8-14, 1994, Cambridge, MA, USA. Providence, RI: American Mathematical Society. Proc. Symp. Pure Math. 60, 53-63 (1997).
MSC:  35Q55 35B15
PDF BibTeX XML Cite

A simulated annealing algorithm for the computation of marginal costs of telecommunication links. (English) Zbl 0877.90053

Osman, Ibrahim H. (ed.) et al., Meta-heuristics: theory and applications. International conference (MIC), Breckenridge, CO, USA, 22–26 July 1995. Dordrecht: Kluwer Academic Publishers. 265-275 (1996).
PDF BibTeX XML Cite

Harmonic analysis and nonlinear partial differential equations. (English) Zbl 0846.35117

Chatterji, S. D. (ed.), Proceedings of the international congress of mathematicians, ICM ’94, August 3-11, 1994, Zürich, Switzerland. Vol. I. Basel: Birkhäuser. 31-44 (1995).
MSC:  35Q53 35-02 43-02
PDF BibTeX XML Cite

Robust estimation of time-varying parameters in discrete-time systems. (English) Zbl 0839.93028

Dewilde, P. (ed.) et al., Challenges of a generalized system theory. Proceedings of the colloquium, Amsterdam, Netherlands, 9-12 June 1992. Amsterdam: North-Holland. 149-160 (1993).
Reviewer: T.Basar (Urbana)
PDF BibTeX XML Cite

Object-oriented databases. (Objektorientierte Datenbanken. Aus dem Engl. übers. von Andrea Stefanie Kratzer.) (German) Zbl 0758.68008

München: Hanser Verlag. London: Prentice Hall International, Inc. XIV, 260 p. (1992).
MSC:  68-01 68P15
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software