Larsson-Cohn, Lars Gaussian structures and orthogonal polynomials. (English) Zbl 1515.60014 Uppsala Dissertations in Mathematics 22. Uppsala: Uppsala Univ., Department of Mathematics (Diss.) (ISBN 978-91-506-1535-7). 95 p., open access (2002). MSC: 60-02 33-02 60H07 31C45 42C05 60F05 44A15 PDFBibTeX XMLCite \textit{L. Larsson-Cohn}, Gaussian structures and orthogonal polynomials. Uppsala: Uppsala Univ., Department of Mathematics (Diss.) (2002; Zbl 1515.60014) Full Text: Link
Wang, Yue Heng On the estimate of \( \theta \) in Lagrange remainder form. (Chinese. English summary) Zbl 1504.26007 Math. Theory Appl. 22, No. 2, 53-54 (2002). MSC: 26A06 PDFBibTeX XMLCite \textit{Y. H. Wang}, Math. Theory Appl. 22, No. 2, 53--54 (2002; Zbl 1504.26007)
Zhang, Yu Sen; Chen, Wei Two summation formulas for \(q\)-series. (Chinese. English summary) Zbl 1493.33018 Math. Pract. Theory 32, No. 6, 1037-1040 (2002). MSC: 33D15 05A30 40A05 PDFBibTeX XMLCite \textit{Y. S. Zhang} and \textit{W. Chen}, Math. Pract. Theory 32, No. 6, 1037--1040 (2002; Zbl 1493.33018)
Guo, Hui; Chen, Wen Ning An inverse problem of the mean value theorem for integrals and its asymptotic behavior. (Chinese. English summary) Zbl 1493.26004 Math. Pract. Theory 32, No. 6, 1031-1036 (2002). MSC: 26A06 PDFBibTeX XMLCite \textit{H. Guo} and \textit{W. N. Chen}, Math. Pract. Theory 32, No. 6, 1031--1036 (2002; Zbl 1493.26004)
Li, Wen Rong; Zheng, Sui Sheng; Cheng, Li Jun Analytic solution of an iterative differential equation. (Chinese. English summary) Zbl 1493.34039 Math. Pract. Theory 32, No. 6, 994-998 (2002). MSC: 34A25 PDFBibTeX XMLCite \textit{W. R. Li} et al., Math. Pract. Theory 32, No. 6, 994--998 (2002; Zbl 1493.34039)
Heath, David; Platen, Eckhard A variance reduction technique based on integral representations. (English) Zbl 1405.91696 Quant. Finance 2, No. 5, 362-369 (2002). MSC: 91G60 65R20 91G20 PDFBibTeX XMLCite \textit{D. Heath} and \textit{E. Platen}, Quant. Finance 2, No. 5, 362--369 (2002; Zbl 1405.91696) Full Text: DOI
Benhamou1, Eric Smart Monte Carlo: various tricks using Malliavin calculus. (English) Zbl 1405.91688 Quant. Finance 2, No. 5, 329-336 (2002). MSC: 91G60 65C05 60H07 91B70 PDFBibTeX XMLCite \textit{E. Benhamou1}, Quant. Finance 2, No. 5, 329--336 (2002; Zbl 1405.91688) Full Text: DOI
Mandjes, Michel; Ridder, Ad A large deviations analysis of the transient of a queue with many Markov fluid inputs: approximations and fast simulation. (English) Zbl 1390.90175 ACM Trans. Model. Comput. Simul. 12, No. 1, 1-26 (2002). MSC: 90B18 90B22 PDFBibTeX XMLCite \textit{M. Mandjes} and \textit{A. Ridder}, ACM Trans. Model. Comput. Simul. 12, No. 1, 1--26 (2002; Zbl 1390.90175) Full Text: DOI
Roberts, P. D. Two-dimensional analysis of an iterative nonlinear optimal control algorithm. (English) Zbl 1368.93180 IEEE Trans. Circuits Syst., I, Fundam. Theory Appl. 49, No. 6, 872-882 (2002). MSC: 93B40 49M30 PDFBibTeX XMLCite \textit{P. D. Roberts}, IEEE Trans. Circuits Syst., I, Fundam. Theory Appl. 49, No. 6, 872--882 (2002; Zbl 1368.93180) Full Text: DOI
Bono, Viviana; Bugliesi, Michele; Crafa, Silvia Typed interpretations of extensible objects. (English) Zbl 1365.68156 ACM Trans. Comput. Log. 3, No. 4, 562-603 (2002). MSC: 68N19 68N18 PDFBibTeX XMLCite \textit{V. Bono} et al., ACM Trans. Comput. Log. 3, No. 4, 562--603 (2002; Zbl 1365.68156) Full Text: DOI
Aehlig, Klaus; Schwichtenberg, Helmut A syntactical analysis of non-size-increasing polynomial time computation. (English) Zbl 1365.03028 ACM Trans. Comput. Log. 3, No. 3, 383-401 (2002). MSC: 03D15 03B40 03F52 PDFBibTeX XMLCite \textit{K. Aehlig} and \textit{H. Schwichtenberg}, ACM Trans. Comput. Log. 3, No. 3, 383--401 (2002; Zbl 1365.03028) Full Text: DOI
McDowell, Raymond C.; Miller, Dale A. Reasoning with higher-order abstract syntax in a logical framework. (English) Zbl 1365.68164 ACM Trans. Comput. Log. 3, No. 1, 80-136 (2002). MSC: 68N30 03B70 68N15 68N18 PDFBibTeX XMLCite \textit{R. C. McDowell} and \textit{D. A. Miller}, ACM Trans. Comput. Log. 3, No. 1, 80--136 (2002; Zbl 1365.68164) Full Text: DOI arXiv
Leach, P. G. L.; Bouquet, S. É. Symmetries and integrating factors. (English) Zbl 1362.34056 J. Nonlinear Math. Phys. 9, Suppl. 2, 73-91 (2002). MSC: 34C14 34A25 PDFBibTeX XMLCite \textit{P. G. L. Leach} and \textit{S. É. Bouquet}, J. Nonlinear Math. Phys. 9, 73--91 (2002; Zbl 1362.34056) Full Text: DOI
Ben Haj Yedder, Adel Numerical optimization and optimal control: applications to molecular chemistry. (Optimisation numérique et contrôle optimal: applications en chimie moléculaire.) (French) Zbl 1362.49001 Champs-sur-Marne: École Nationale des Ponts et Chaussées (Diss.). 241 p. (2002). MSC: 49-02 49N90 93C95 92E10 49S05 PDFBibTeX XMLCite \textit{A. Ben Haj Yedder}, Optimisation numérique et contrôle optimal: applications en chimie moléculaire. Champs-sur-Marne: École Nationale des Ponts et Chaussées (Diss.) (2002; Zbl 1362.49001) Full Text: HAL
Miyakoda, Tsuyako On the fractional differential equations by \(N\)-fractional calculus. (English) Zbl 1343.65092 Information 5, No. 4, 425-429 (2002). MSC: 65L06 34A08 PDFBibTeX XMLCite \textit{T. Miyakoda}, Information 5, No. 4, 425--429 (2002; Zbl 1343.65092)
Iwasaki, Manabu; Hidaka, Noriko Determination of sample sizes for use in constructing confidence intervals for a binomial parameter. (English) Zbl 1330.62165 J. Jpn. Soc. Comput. Stat. 15, No. 1, 19-32 (2002). MSC: 62F25 62D05 PDFBibTeX XMLCite \textit{M. Iwasaki} and \textit{N. Hidaka}, J. Jpn. Soc. Comput. Stat. 15, No. 1, 19--32 (2002; Zbl 1330.62165) Full Text: DOI
Grégoire, Benjamin; Leroy, Xavier A compiled implementation of strong reduction. (English) Zbl 1322.68053 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 235-246 (2002). MSC: 68N30 68N18 68Q60 68T15 PDFBibTeX XMLCite \textit{B. Grégoire} and \textit{X. Leroy}, in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 235--246 (2002; Zbl 1322.68053) Full Text: DOI HAL
Pašalić, Emir; Taha, Walid; Sheard, Tim Tagless staged interpreters for typed languages. (English) Zbl 1322.68033 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 218-229 (2002). MSC: 68N15 68N18 68N20 68Q55 PDFBibTeX XMLCite \textit{E. Pašalić} et al., in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 218--229 (2002; Zbl 1322.68033) Full Text: DOI
Nanevski, Aleksandar Meta-programming with names and necessity. (English) Zbl 1322.68045 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 206-217 (2002). MSC: 68N18 68N19 PDFBibTeX XMLCite \textit{A. Nanevski}, in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 206--217 (2002; Zbl 1322.68045) Full Text: DOI
Crary, Karl; Vanderwaart, Joseph C. An expressive, scalable type theory for certified code. (English) Zbl 1322.68037 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 191-205 (2002). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{K. Crary} and \textit{J. C. Vanderwaart}, in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 191--205 (2002; Zbl 1322.68037) Full Text: DOI
Neubauer, Matthias; Thiemann, Peter Type classes with more higher-order polymorphism. (English) Zbl 1322.68046 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 179-190 (2002). MSC: 68N18 PDFBibTeX XMLCite \textit{M. Neubauer} and \textit{P. Thiemann}, in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 179--190 (2002; Zbl 1322.68046) Full Text: DOI
Stuckey, Peter J.; Sulzmann, Martin A theory of overloading. (English) Zbl 1322.68049 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 167-178 (2002). MSC: 68N18 PDFBibTeX XMLCite \textit{P. J. Stuckey} and \textit{M. Sulzmann}, in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 167--178 (2002; Zbl 1322.68049) Full Text: DOI
Baars, Arthur I.; Swierstra, S. Doaitse Typing dynamic typing. (English) Zbl 1322.68035 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 157-166 (2002). MSC: 68N18 68N20 PDFBibTeX XMLCite \textit{A. I. Baars} and \textit{S. D. Swierstra}, in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 157--166 (2002; Zbl 1322.68035) Full Text: DOI
Lüth, Christoph; Ghani, Neil Composing monads using coproducts. (English) Zbl 1322.68043 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 133-144 (2002). MSC: 68N18 18C15 68N30 PDFBibTeX XMLCite \textit{C. Lüth} and \textit{N. Ghani}, in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 133--144 (2002; Zbl 1322.68043) Full Text: DOI
Svenningsson, Josef Shortcut fusion for accumulating parameters & zip-like functions. (English) Zbl 1322.68050 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 124-132 (2002). MSC: 68N18 68P05 PDFBibTeX XMLCite \textit{J. Svenningsson}, in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 124--132 (2002; Zbl 1322.68050) Full Text: DOI
Millstein, Todd; Bleckner, Colin; Chambers, Craig Modular typechecking for hierarchically extensible datatypes and functions. (English) Zbl 1322.68044 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 110-122 (2002). MSC: 68N18 68N19 PDFBibTeX XMLCite \textit{T. Millstein} et al., in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 110--122 (2002; Zbl 1322.68044) Full Text: DOI Link
Glynn, Kevin; Stuckey, Peter J.; Sulzmann, Martin; Søndergaard, Harald Exception analysis for non-strict languages. (English) Zbl 1322.68041 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 98-109 (2002). MSC: 68N18 68N15 68N20 68N30 PDFBibTeX XMLCite \textit{K. Glynn} et al., in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 98--109 (2002; Zbl 1322.68041) Full Text: DOI
Dubé, Danny; Feeley, Marc A demand-driven adaptive type analysis. (English) Zbl 1322.68038 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 84-97 (2002). MSC: 68N18 68N15 68N20 68N30 PDFBibTeX XMLCite \textit{D. Dubé} and \textit{M. Feeley}, in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 84--97 (2002; Zbl 1322.68038) Full Text: DOI
Ohori, Atsushi; Yamatodani, Kiyoshi An interoperable calculus for external object access. (English) Zbl 1322.68047 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 60-71 (2002). MSC: 68N18 68N15 68N19 PDFBibTeX XMLCite \textit{A. Ohori} and \textit{K. Yamatodani}, in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 60--71 (2002; Zbl 1322.68047) Full Text: DOI
Findler, Robert Bruce; Felleisen, Matthias Contracts for higher-order functions. (English) Zbl 1322.68039 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 48-59 (2002). MSC: 68N18 68N19 PDFBibTeX XMLCite \textit{R. B. Findler} and \textit{M. Felleisen}, in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 48--59 (2002; Zbl 1322.68039) Full Text: DOI
Ford, Bryan Packrat parsing: simple, powerful, lazy, linear time. (English) Zbl 1322.68040 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 36-47 (2002). MSC: 68N18 PDFBibTeX XMLCite \textit{B. Ford}, in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 36--47 (2002; Zbl 1322.68040) Full Text: DOI
Carlsson, Magnus Monads for incremental computing. (English) Zbl 1322.68036 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 26-35 (2002). MSC: 68N18 18C15 68N30 PDFBibTeX XMLCite \textit{M. Carlsson}, in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 26--35 (2002; Zbl 1322.68036) Full Text: DOI
Voigtländer, Janis Concatenate, reverse and map vanish for free. (English) Zbl 1322.68051 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 14-25 (2002). MSC: 68N18 PDFBibTeX XMLCite \textit{J. Voigtländer}, in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 14--25 (2002; Zbl 1322.68051) Full Text: DOI
Hinze, Ralf Bootstrapping one-sided flexible arrays. (English) Zbl 1322.68062 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 2-13 (2002). MSC: 68P05 68N18 PDFBibTeX XMLCite \textit{R. Hinze}, in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 2--13 (2002; Zbl 1322.68062) Full Text: DOI
Novruzi, Arian; Pierre, Michel Structure of shape derivatives. (English) Zbl 1357.49150 J. Evol. Equ. 2, No. 3, 365-382 (2002). MSC: 49Q10 49K20 35R35 90C31 58C06 PDFBibTeX XMLCite \textit{A. Novruzi} and \textit{M. Pierre}, J. Evol. Equ. 2, No. 3, 365--382 (2002; Zbl 1357.49150) Full Text: DOI
Pottier, François; Simonet, Vincent Information flow inference for ML. (English) Zbl 1323.68148 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’02, Portland, OR, USA, January 16–18, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-450-9). 319-330 (2002). MSC: 68N18 68N15 68N30 68Q55 68Q60 94A60 PDFBibTeX XMLCite \textit{F. Pottier} and \textit{V. Simonet}, in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '02, Portland, OR, USA, January 16--18, 2002. New York, NY: Association for Computing Machinery (ACM). 319--330 (2002; Zbl 1323.68148) Full Text: DOI
Fournet, Cédric; Gordon, Andrew D. Stack inspection: theory and variants. (English) Zbl 1323.68115 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’02, Portland, OR, USA, January 16–18, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-450-9). 307-318 (2002). MSC: 68N18 68N15 68N30 68Q55 68Q60 94A60 PDFBibTeX XMLCite \textit{C. Fournet} and \textit{A. D. Gordon}, in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '02, Portland, OR, USA, January 16--18, 2002. New York, NY: Association for Computing Machinery (ACM). 307--318 (2002; Zbl 1323.68115) Full Text: DOI
Acar, Umut A.; Blelloch, Guy E.; Harper, Robert Adaptive functional programming. (English) Zbl 1322.68034 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’02, Portland, OR, USA, January 16–18, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-450-9). 247-259 (2002). MSC: 68N18 68N15 68N30 68Q55 PDFBibTeX XMLCite \textit{U. A. Acar} et al., in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '02, Portland, OR, USA, January 16--18, 2002. New York, NY: Association for Computing Machinery (ACM). 247--259 (2002; Zbl 1322.68034) Full Text: DOI
Neubauer, Matthias; Thiemann, Peter; Gasbichler, Martin; Sperber, Michael Functional logic overloading. (English) Zbl 1323.68143 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’02, Portland, OR, USA, January 16–18, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-450-9). 233-244 (2002). MSC: 68N18 68N15 68N30 68Q55 PDFBibTeX XMLCite \textit{M. Neubauer} et al., in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '02, Portland, OR, USA, January 16--18, 2002. New York, NY: Association for Computing Machinery (ACM). 233--244 (2002; Zbl 1323.68143) Full Text: DOI
Shao, Zhong; Saha, Bratin; Trifonov, Valery; Papaspyrou, Nikolaos A type system for certified binaries. (English) Zbl 1323.68383 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’02, Portland, OR, USA, January 16–18, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-450-9). 217-232 (2002). MSC: 68Q60 68N18 68N20 68N30 68Q55 94A60 PDFBibTeX XMLCite \textit{Z. Shao} et al., in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '02, Portland, OR, USA, January 16--18, 2002. New York, NY: Association for Computing Machinery (ACM). 217--232 (2002; Zbl 1323.68383) Full Text: DOI
Su, Zhendong; Aiken, Alexander; Niehren, Joachim; Priesnitz, Tim; Treinen, Ralf The first-order theory of subtyping constraints. (English) Zbl 1323.68164 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’02, Portland, OR, USA, January 16–18, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-450-9). 203-216 (2002). MSC: 68N18 03B25 68N30 PDFBibTeX XMLCite \textit{Z. Su} et al., in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '02, Portland, OR, USA, January 16--18, 2002. New York, NY: Association for Computing Machinery (ACM). 203--216 (2002; Zbl 1323.68164) Full Text: DOI Link
Ramsey, Norman; Pfeffer, Avi Stochastic lambda calculus and monads of probability distributions. (English) Zbl 1323.68150 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’02, Portland, OR, USA, January 16–18, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-450-9). 154-165 (2002). MSC: 68N18 68Q60 68Q85 68Q87 PDFBibTeX XMLCite \textit{N. Ramsey} and \textit{A. Pfeffer}, in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '02, Portland, OR, USA, January 16--18, 2002. New York, NY: Association for Computing Machinery (ACM). 154--165 (2002; Zbl 1323.68150) Full Text: DOI
Necula, George C.; McPeak, Scott; Weimer, Westley CCured, type-safe retrofitting of legacy code. (English) Zbl 1323.68382 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’02, Portland, OR, USA, January 16–18, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-450-9). 128-139 (2002). MSC: 68Q60 68N15 68N18 68N30 68Q55 PDFBibTeX XMLCite \textit{G. C. Necula} et al., in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '02, Portland, OR, USA, January 16--18, 2002. New York, NY: Association for Computing Machinery (ACM). 128--139 (2002; Zbl 1323.68382) Full Text: DOI
Honda, Kohei; Yoshida, Nobuko A uniform type structure for secure information flow. (English) Zbl 1323.68375 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’02, Portland, OR, USA, January 16–18, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-450-9). 81-92 (2002). MSC: 68Q60 68N18 68N30 68Q55 68Q85 94A60 PDFBibTeX XMLCite \textit{K. Honda} and \textit{N. Yoshida}, in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '02, Portland, OR, USA, January 16--18, 2002. New York, NY: Association for Computing Machinery (ACM). 81--92 (2002; Zbl 1323.68375) Full Text: DOI
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire Lazy abstraction. (English) Zbl 1323.68374 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’02, Portland, OR, USA, January 16–18, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-450-9). 58-70 (2002). MSC: 68Q60 68N18 68N30 68Q55 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '02, Portland, OR, USA, January 16--18, 2002. New York, NY: Association for Computing Machinery (ACM). 58--70 (2002; Zbl 1323.68374) Full Text: DOI
Chaki, Sagar; Rajamani, Sriram K.; Rehof, Jakob Types as models: model checking message-passing programs. (English) Zbl 1323.68365 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’02, Portland, OR, USA, January 16–18, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-450-9). 45-57 (2002). MSC: 68Q60 68N18 68N30 68Q55 PDFBibTeX XMLCite \textit{S. Chaki} et al., in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '02, Portland, OR, USA, January 16--18, 2002. New York, NY: Association for Computing Machinery (ACM). 45--57 (2002; Zbl 1323.68365) Full Text: DOI
Kuncak, Viktor; Lam, Patrick; Rinard, Martin Role analysis. (English) Zbl 1323.68378 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’02, Portland, OR, USA, January 16–18, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-450-9). 17-32 (2002). MSC: 68Q60 68N18 68N30 68Q55 68Q85 PDFBibTeX XMLCite \textit{V. Kuncak} et al., in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '02, Portland, OR, USA, January 16--18, 2002. New York, NY: Association for Computing Machinery (ACM). 17--32 (2002; Zbl 1323.68378) Full Text: DOI
ten Berge, Jos M. F.; Sidiropoulos, Nikolaos D. On uniqueness in CANDECOMP/PARAFAC. (English) Zbl 1297.62140 Psychometrika 67, No. 3, 399-409 (2002). MSC: 62H25 15A69 15A03 PDFBibTeX XMLCite \textit{J. M. F. ten Berge} and \textit{N. D. Sidiropoulos}, Psychometrika 67, No. 3, 399--409 (2002; Zbl 1297.62140) Full Text: DOI
Rocci, Roberto; ten Berge, Jos M. F. Transforming three-way arrays to maximal simplicity. (English) Zbl 1297.62136 Psychometrika 67, No. 3, 351-365 (2002). MSC: 62H25 15A69 15A99 PDFBibTeX XMLCite \textit{R. Rocci} and \textit{J. M. F. ten Berge}, Psychometrika 67, No. 3, 351--365 (2002; Zbl 1297.62136) Full Text: DOI
Torres, D. F. M. On the Noether theorem for optimal control. (English) Zbl 1293.49051 Eur. J. Control 8, No. 1, 56-63 (2002). MSC: 49K27 PDFBibTeX XMLCite \textit{D. F. M. Torres}, Eur. J. Control 8, No. 1, 56--63 (2002; Zbl 1293.49051) Full Text: DOI
Grubb, Gerd Spectral boundary conditions and trace formulas. (Conditions au bord spectrales et formules de trace.) (French. English summary) Zbl 1292.35348 Sémin. Équ. Dériv. Partielles, Éc. Polytech., Cent. Math. Laurent Schwartz, Palaiseau 2001-2002, Exp. No. 15, 12 p. (2002). MSC: 35S15 47A60 35P05 35B25 PDFBibTeX XMLCite \textit{G. Grubb}, Sémin. Équ. Dériv. Partielles, Éc. Polytech., Cent. Math. Laurent Schwartz, Palaiseau 2001--2002, Exp. No. 15, 12 p. (2002; Zbl 1292.35348)
Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. (English) Zbl 1282.68039 ACM SIGPLAN Notices 37, No. 9. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ix, 284 p. (2002). MSC: 68-06 68N18 00B25 PDFBibTeX XMLCite Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM) (2002; Zbl 1282.68039) Full Text: DOI
Lavrinovich, L. I. On methods for the guaranteed optimization of control systems. (Russian. English summary) Zbl 1272.49076 Vestn. Beloruss. Gos. Univ., Ser. 1, Fiz. Mat. Inform. 2002, No. 2, 101-104 (2002). MSC: 49N35 49M30 PDFBibTeX XMLCite \textit{L. I. Lavrinovich}, Vestn. Beloruss. Gos. Univ., Ser. 1, Fiz. Mat. Inform. 2002, No. 2, 101--104 (2002; Zbl 1272.49076)
Lämmel, Ralf The sketch of a polymorphic symphony. (English) Zbl 1270.68069 Gramlich, Bernhard (ed.) et al., WRS 2002. Final proceedings of the 2nd international workshop on reduction strategies in rewriting and programming (FLoC satellite event), Copenhagen, Denmark, July 21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 6, 135-155 (2002). MSC: 68N18 PDFBibTeX XMLCite \textit{R. Lämmel}, Electron. Notes Theor. Comput. Sci. 70, No. 6, 135--155 (2002; Zbl 1270.68069) Full Text: Link
Glauert, John; Khasidashvili, Zurab An abstract Böhm-normalization. (English) Zbl 1270.68066 Gramlich, Bernhard (ed.) et al., WRS 2002. Final proceedings of the 2nd international workshop on reduction strategies in rewriting and programming (FLoC satellite event), Copenhagen, Denmark, July 21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 6, 118-134 (2002). MSC: 68N18 03B40 68Q42 PDFBibTeX XMLCite \textit{J. Glauert} and \textit{Z. Khasidashvili}, Electron. Notes Theor. Comput. Sci. 70, No. 6, 118--134 (2002; Zbl 1270.68066) Full Text: Link
Momigliano, Alberto; Ambler, Simon J.; Crole, Roy L. A hybrid encoding of Howe’s method for establishing congruence of bisimilarity. (English) Zbl 1270.68072 Pfenning, Frank (ed.), LFM 2002. Proceedings of the 3rd international workshop on logical frameworks and meta-languages (FLoC satellite event), Copenhagen, Denmark, July 26, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 2, 60-75 (2002). MSC: 68N18 68T15 PDFBibTeX XMLCite \textit{A. Momigliano} et al., Electron. Notes Theor. Comput. Sci. 70, No. 2, 60--75 (2002; Zbl 1270.68072) Full Text: Link
van Raamsdonk, Femke; Severi, Paula Eliminating proofs from programs. (English) Zbl 1270.03056 Pfenning, Frank (ed.), LFM 2002. Proceedings of the 3rd international workshop on logical frameworks and meta-languages (FLoC satellite event), Copenhagen, Denmark, July 26, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 2, 42-59 (2002). MSC: 03B70 03B40 68N30 PDFBibTeX XMLCite \textit{F. van Raamsdonk} and \textit{P. Severi}, Electron. Notes Theor. Comput. Sci. 70, No. 2, 42--59 (2002; Zbl 1270.03056) Full Text: Link
Ghani, Neil; Lüth, Christoph; De Marchi, Federico Coalgebraic monads. (English) Zbl 1270.18011 Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 71-91 (2002). MSC: 18C15 18C20 68N18 PDFBibTeX XMLCite \textit{N. Ghani} et al., Electron. Notes Theor. Comput. Sci. 65, No. 1, 71--91 (2002; Zbl 1270.18011) Full Text: DOI
Sato, Shinya; Sugimoto, Toru; Yamada, Shinichi An implementation model of the typed \(\lambda\)-calculus based on linear chemical abstract machine. (English) Zbl 1268.68054 Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 292-307 (2002). MSC: 68N18 03B70 PDFBibTeX XMLCite \textit{S. Sato} et al., Electron. Notes Theor. Comput. Sci. 64, 292--307 (2002; Zbl 1268.68054) Full Text: DOI
Pope, Bernard; Naish, Lee Specialisation of higher-order functions for debugging. (English) Zbl 1268.68052 Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 277-291 (2002). MSC: 68N18 PDFBibTeX XMLCite \textit{B. Pope} and \textit{L. Naish}, Electron. Notes Theor. Comput. Sci. 64, 277--291 (2002; Zbl 1268.68052) Full Text: DOI
Gayo, J. E. Labra; Lovelle, J. M. Cueva; Díez, M. C. Luengo; Del Río, A. Cernuda Specification of logic programming languages from reusable semantic building blocks. (English) Zbl 1268.68043 Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 220-233 (2002). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{J. E. L. Gayo} et al., Electron. Notes Theor. Comput. Sci. 64, 220--233 (2002; Zbl 1268.68043) Full Text: DOI
Huch, Frank Model checking Erlang programs – abstracting recursive function calls. (English) Zbl 1268.68112 Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 195-219 (2002). MSC: 68Q60 68N18 PDFBibTeX XMLCite \textit{F. Huch}, Electron. Notes Theor. Comput. Sci. 64, 195--219 (2002; Zbl 1268.68112) Full Text: DOI
Echahed, Rachid; Serwe, Wendelin Defining actions in concurrent declarative programming. (English) Zbl 1268.68125 Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 176-194 (2002). MSC: 68Q85 68N17 68N18 68N19 PDFBibTeX XMLCite \textit{R. Echahed} and \textit{W. Serwe}, Electron. Notes Theor. Comput. Sci. 64, 176--194 (2002; Zbl 1268.68125) Full Text: DOI
Caballero, Rafael; Rodríguez-Artalejo, Mario A declarative debugging system for lazy functional logic programs. (English) Zbl 1268.68064 Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 113-175 (2002). MSC: 68N30 68N17 68N18 PDFBibTeX XMLCite \textit{R. Caballero} and \textit{M. Rodríguez-Artalejo}, Electron. Notes Theor. Comput. Sci. 64, 113--175 (2002; Zbl 1268.68064) Full Text: DOI
Antoy, Sergio; Iranzo, Pascual Julián; Massey, Bart Improving the efficiency of non-deterministic computations. (English) Zbl 1268.68058 Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 73-94 (2002). MSC: 68N19 68N17 68N18 PDFBibTeX XMLCite \textit{S. Antoy} et al., Electron. Notes Theor. Comput. Sci. 64, 73--94 (2002; Zbl 1268.68058) Full Text: DOI
Alpuente, María; Correa, Franciso; Falaschi, Moreno A debugging scheme for functional logic programs. (English) Zbl 1268.68062 Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 18-55 (2002). MSC: 68N30 68N17 68N18 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Electron. Notes Theor. Comput. Sci. 64, 18--55 (2002; Zbl 1268.68062) Full Text: DOI
Bruni, Roberto; Honsell, Furio; Lenisa, Marina; Miculan, Marino Comparing higher-order encodings in logical frameworks and tile logic. (English) Zbl 1268.68047 Lenisa, Mariana (ed.) et al., TOSCA 2001. Proceedings of the workshop on theory of concurrency, higher order languages and types, Udine, Italy, November 19–21, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 62, 136-156 (2002). MSC: 68N18 03B70 PDFBibTeX XMLCite \textit{R. Bruni} et al., Electron. Notes Theor. Comput. Sci. 62, 136--156 (2002; Zbl 1268.68047) Full Text: DOI
Honsell, Furio; Miculan, Marino; Scagnetto, Ivan The theory of contexts for first order and higher order abstract syntax. (English) Zbl 1268.68048 Lenisa, Mariana (ed.) et al., TOSCA 2001. Proceedings of the workshop on theory of concurrency, higher order languages and types, Udine, Italy, November 19–21, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 62, 116-135 (2002). MSC: 68N18 68T15 PDFBibTeX XMLCite \textit{F. Honsell} et al., Electron. Notes Theor. Comput. Sci. 62, 116--135 (2002; Zbl 1268.68048) Full Text: DOI
Grue, Klaus Dedekind completion as a method for constructing new Scott domains. (English) Zbl 1268.03018 Harland, James (ed.), CATS’02. Computing: the Australasian theory symposium. Proceedings of the 8th symposium, Monash, Australia, January 28 – February 1, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 61, 140-153 (2002). MSC: 03B40 06B35 PDFBibTeX XMLCite \textit{K. Grue}, Electron. Notes Theor. Comput. Sci. 61, 140--153 (2002; Zbl 1268.03018) Full Text: DOI
Crossley, John N. Declarative programming: a logical view. (English) Zbl 1268.03034 Harland, James (ed.), CATS’02. Computing: the Australasian theory symposium. Proceedings of the 8th symposium, Monash, Australia, January 28 – February 1, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 61, 20 (2002). MSC: 03B70 68N17 68N18 68N30 PDFBibTeX XMLCite \textit{J. N. Crossley}, Electron. Notes Theor. Comput. Sci. 61, 20 (2002; Zbl 1268.03034) Full Text: DOI
Dai, Jian; Song, Xing-Chang; Xiong, Chuan-Sheng Canonical differential calculi for finitely generated Abelian groups and their fermionic representations. (English) Zbl 1267.58006 Commun. Theor. Phys. 37, No. 4, 393-396 (2002). MSC: 58B32 46L87 PDFBibTeX XMLCite \textit{J. Dai} et al., Commun. Theor. Phys. 37, No. 4, 393--396 (2002; Zbl 1267.58006) Full Text: DOI arXiv
Hanus, Michael (ed.) WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. (English) Zbl 1267.68023 Electronic Notes in Theoretical Computer Science 64. Amsterdam: Elsevier. 309 p., electronic only (2002). MSC: 68-06 68N17 68N18 00B25 PDFBibTeX XMLCite \textit{M. Hanus} (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13--15, 2001. Amsterdam: Elsevier (2002; Zbl 1267.68023) Full Text: Link
Kalinowski, Jozef On rank equivalence and rank preserving operators. (English) Zbl 1274.15001 Novi Sad J. Math. 32, No. 1, 133-139 (2002). MSC: 15A03 15A86 PDFBibTeX XMLCite \textit{J. Kalinowski}, Novi Sad J. Math. 32, No. 1, 133--139 (2002; Zbl 1274.15001)
Kamareddine, Fairouz; Monin, François; Ayala-Rincón, Mauricio On automating the extraction of programs from proofs using product types. (English) Zbl 1261.68045 de Queiroz, Ruy (ed.) et al., WoLLIC’2002. Proceedings of the 9th workshop on logic, language, information and computation, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil, July 30–August 2, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 67, 233-253 (2002). MSC: 68N30 03B40 68Q42 PDFBibTeX XMLCite \textit{F. Kamareddine} et al., Electron. Notes Theor. Comput. Sci. 67, 233--253 (2002; Zbl 1261.68045) Full Text: DOI
Ayala-Rincón, Mauricio; De Moura, Flávio L. C.; Kamareddine, Fairouz Comparing calculi of explicit substitutions with eta-reduction. (English) Zbl 1261.03071 de Queiroz, Ruy (ed.) et al., WoLLIC’2002. Proceedings of the 9th workshop on logic, language, information and computation, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil, July 30–August 2, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 67, 76-95 (2002). MSC: 03B40 68N18 PDFBibTeX XMLCite \textit{M. Ayala-Rincón} et al., Electron. Notes Theor. Comput. Sci. 67, 76--95 (2002; Zbl 1261.03071) Full Text: DOI
Walukiewicz, Igor Deciding low levels of tree-automata hierarchy. (English) Zbl 1261.68082 de Queiroz, Ruy (ed.) et al., WoLLIC’2002. Proceedings of the 9th workshop on logic, language, information and computation, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil, July 30–August 2, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 67, 61-75 (2002). MSC: 68Q45 68Q17 PDFBibTeX XMLCite \textit{I. Walukiewicz}, Electron. Notes Theor. Comput. Sci. 67, 61--75 (2002; Zbl 1261.68082) Full Text: DOI
Nadathur, Gopalan The suspension notation for lambda terms and its use in metalanguage implementations. (English) Zbl 1261.68043 de Queiroz, Ruy (ed.) et al., WoLLIC’2002. Proceedings of the 9th workshop on logic, language, information and computation, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil, July 30–August 2, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 67, 35-48 (2002). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{G. Nadathur}, Electron. Notes Theor. Comput. Sci. 67, 35--48 (2002; Zbl 1261.68043) Full Text: DOI
Petrosky, Tomio Y; Barsegov, Valeri Quantum decoherence, Zeno process, and time symmetry breaking. (English) Zbl 1244.81037 Phys. Rev. E (3) 65, No. 4, Article ID 046102, 21 p. (2002). MSC: 81S25 PDFBibTeX XMLCite \textit{T. Y Petrosky} and \textit{V. Barsegov}, Phys. Rev. E (3) 65, No. 4, Article ID 046102, 21 p. (2002; Zbl 1244.81037) Full Text: DOI
Pilipchuk, V. N. Non-invertible temporal transformations and power series periodic solutions. (English) Zbl 1237.34084 J. Sound Vib. 249, No. 2, 399-404 (2002). MSC: 34C25 34A25 34A05 PDFBibTeX XMLCite \textit{V. N. Pilipchuk}, J. Sound Vib. 249, No. 2, 399--404 (2002; Zbl 1237.34084) Full Text: DOI
Stancu, Dimitrie D.; Căbulea, Lucia A.; Pop, Daniela Approximation of bivariate functions by means of the operators \(S^{\alpha, \beta;a,b}_{m,n}\). (English) Zbl 1249.41023 Stud. Univ. Babeș-Bolyai, Math. 47, No. 4, 105-114 (2002). MSC: 41A10 41A25 41A36 41A63 41A80 PDFBibTeX XMLCite \textit{D. D. Stancu} et al., Stud. Univ. Babeș-Bolyai, Math. 47, No. 4, 105--114 (2002; Zbl 1249.41023)
Radchenko, V. M. Multivariate functions for proving inequalities. (Ukrainian) Zbl 1224.26043 Sviti Mat. 8, No. 4, 37-44 (2002). Reviewer: A. Ya. Olenko (Kyïv) MSC: 26B12 26D20 PDFBibTeX XMLCite \textit{V. M. Radchenko}, Sviti Mat. 8, No. 4, 37--44 (2002; Zbl 1224.26043)
Kukush, O. G.; Tatarenko, Yu. S.; Ushakov, R. P. Sketch on family functions \(f_\lambda (x)=e^{\lambda \sin{x}}+e^{\lambda \cos{x}}\). (Ukrainian) Zbl 1224.26003 Sviti Mat. 8, No. 4, 27-31 (2002). Reviewer: A. Ya. Olenko (Kyïv) MSC: 26A09 26A06 PDFBibTeX XMLCite \textit{O. G. Kukush} et al., Sviti Mat. 8, No. 4, 27--31 (2002; Zbl 1224.26003)
Kuzhel, O. V. Mathematical logic and its applications. (Ukrainian) Zbl 1224.03001 Sviti Mat. 8, No. 3, 1-11 (2002). Reviewer: A. Ya. Olenko (Kyïv) MSC: 03B05 03-01 PDFBibTeX XMLCite \textit{O. V. Kuzhel}, Sviti Mat. 8, No. 3, 1--11 (2002; Zbl 1224.03001)
Schröder, Lutz; Mossakowski, Till HasCasl: towards integrated specification and development of functional programs. (English) Zbl 1275.68054 Kirchner, Hélène (ed.) et al., Algebraic methodology and software technology. 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9–13, 2002. Prodeedings. Berlin: Springer (ISBN 3-540-44144-1/pbk). Lecture Notes in Computer Science 2422, 99-116 (2002). MSC: 68N18 68Q65 PDFBibTeX XMLCite \textit{L. Schröder} and \textit{T. Mossakowski}, Lect. Notes Comput. Sci. 2422, 99--116 (2002; Zbl 1275.68054) Full Text: DOI
Fränzle, Martin Take it NP-easy: bounded model construction for duration calculus. (English) Zbl 1278.68170 Damm, Werner (ed.) et al., Formal techniques in real-time and fault-tolerant systems. 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-44165-4/pbk). Lecture Notes in Computer Science 2469, 245-264 (2002). MSC: 68Q60 68Q17 68Q25 PDFBibTeX XMLCite \textit{M. Fränzle}, Lect. Notes Comput. Sci. 2469, 245--264 (2002; Zbl 1278.68170) Full Text: DOI
Giraldo, V.; Carvalho, L. M. Magnification and local linearity: new technologies in the teaching of the concept of derivative. (Portuguese. English summary) Zbl 1208.00013 TEMA, Tend. Mat. Apl. Comput. 3, No. 2, 101-110 (2002). MSC: 00A35 97I40 26A24 PDFBibTeX XMLCite \textit{V. Giraldo} and \textit{L. M. Carvalho}, TEMA, Tend. Mat. Apl. Comput. 3, No. 2, 101--110 (2002; Zbl 1208.00013) Full Text: DOI
Kamareddine, Fairouz On functions and types: a tutorial. (English) Zbl 1278.03038 Grosky, William I. (ed.) et al., SOFSEM 2002: Theory and practice of informatics. 29th conference on current trends in theory and practice of informatics, Milovy, Czech Republic, November 22–29, 2002. Proceedings. Berlin: Springer (ISBN 3-540-00145-X/pbk). Lecture Notes in Computer Science 2540, 74-93 (2002). MSC: 03B40 03B15 03B70 PDFBibTeX XMLCite \textit{F. Kamareddine}, Lect. Notes Comput. Sci. 2540, 74--93 (2002; Zbl 1278.03038) Full Text: DOI
Carbone, G.; Carfora, M.; Marzuoli, A. Spin models, TQFTs and their hierarchical structure. (English) Zbl 1202.81194 Cianci, R. (ed.) et al., Recent developments in general relativity, Genova 2000. Proceedings of the 14th SIGRAV conference on general relativity and gravitational physics, Genova, September 18–22, 2000. Milano: Springer (ISBN 88-470-0162-5/pbk). 451-458 (2002). MSC: 81T45 57R56 83C27 PDFBibTeX XMLCite \textit{G. Carbone} et al., in: Recent developments in general relativity, Genova 2000. Proceedings of the 14th SIGRAV conference on general relativity and gravitational physics, Genova, September 18--22, 2000. Milano: Springer. 451--458 (2002; Zbl 1202.81194)
Carfora, M.; Marzuoli, A.; Villani, P. 2D dynamical triangulations and the Weil-Petersson measure. (English) Zbl 1202.32013 Cianci, R. (ed.) et al., Recent developments in general relativity, Genova 2000. Proceedings of the 14th SIGRAV conference on general relativity and gravitational physics, Genova, September 18–22, 2000. Milano: Springer (ISBN 88-470-0162-5/pbk). 63-74 (2002). MSC: 32G15 32G81 82B41 83C27 PDFBibTeX XMLCite \textit{M. Carfora} et al., in: Recent developments in general relativity, Genova 2000. Proceedings of the 14th SIGRAV conference on general relativity and gravitational physics, Genova, September 18--22, 2000. Milano: Springer. 63--74 (2002; Zbl 1202.32013)
Brady, Ross T. Ordering properties for the Routley-Meyer relation \(R\). (English) Zbl 1180.03025 J. Appl. Non-Class. Log. 12, No. 1, 85-98 (2002). MSC: 03B47 PDFBibTeX XMLCite \textit{R. T. Brady}, J. Appl. Non-Class. Log. 12, No. 1, 85--98 (2002; Zbl 1180.03025)
Aiello, Marco; van Benthem, Johan A modal walk through space. (English) Zbl 1185.03060 J. Appl. Non-Class. Log. 12, No. 3-4, 319-363 (2002). MSC: 03B80 03B45 03B47 51N10 54A99 68U05 PDFBibTeX XMLCite \textit{M. Aiello} and \textit{J. van Benthem}, J. Appl. Non-Class. Log. 12, No. 3--4, 319--363 (2002; Zbl 1185.03060) Full Text: DOI
Tetiva, Marian On the computation of some limits of sequences using Riemann integral. (Romanian) Zbl 1199.26006 Gaz. Mat., Rev. Cult. Mat. 20(99), No. 3, 165-176 (2002). MSC: 26A06 40A05 PDFBibTeX XMLCite \textit{M. Tetiva}, Gaz. Mat., Rev. Cult. Mat. 20(99), No. 3, 165--176 (2002; Zbl 1199.26006)
Janous, Walther On a conjecture of Răzvan Satnoianu. (English) Zbl 1199.26077 Gaz. Mat., Rev. Cult. Mat. 20(99), No. 2, 97-103 (2002). MSC: 26D15 26A06 PDFBibTeX XMLCite \textit{W. Janous}, Gaz. Mat., Rev. Cult. Mat. 20(99), No. 2, 97--103 (2002; Zbl 1199.26077)
Stanković, B. Approximate solutions of the operator linear differential equation. Reprints. (English) Zbl 1161.44305 Tsagas, Grigorios (ed.), Applied mathematics. Selected papers from the international congress, Thessaloniki, Greece, August 16–21, 1976. Bucharest: Fair Partners Publishers (ISBN 973-99985-6-9/pbk). Handb., Treatises, Monogr. 28, 112-117 (2002). MSC: 44A40 33C45 PDFBibTeX XMLCite \textit{B. Stanković}, in: Applied mathematics. Selected papers from the international congress, Thessaloniki, Greece, August 16--21, 1976. Bucharest: Fair Partners Publishers. 112--117 (2002; Zbl 1161.44305)
Molaei, M. R.; Farmitani, F. Santilli isomanifolds in arbitrary dimensions. (English) Zbl 1167.58304 Algebras Groups Geom. 19, No. 3, 347-355 (2002). MSC: 58C99 51P05 PDFBibTeX XMLCite \textit{M. R. Molaei} and \textit{F. Farmitani}, Algebras Groups Geom. 19, No. 3, 347--355 (2002; Zbl 1167.58304)
Bauer, Sebastian Uniqueness theorems of outer space problems for Maxwell-, Lamé- and generalized Helmoltz systems with unbounded perturbations. A unified approach. (Eindeutigkeitssätze zu Außenraumproblemen für Maxwell-, Lamé- und verallgemeinerte Helmholtz-Systeme mit räumlich unbegrenzten Störungen. Ein einheitlicher Zugang.) (German) Zbl 1170.35302 Essen: Univ. Essen, Fachbereich Mathematik und Informatik (Diss.). 54 p. (2002). MSC: 35A05 35Q60 35G15 PDFBibTeX XMLCite \textit{S. Bauer}, Eindeutigkeitssätze zu Außenraumproblemen für Maxwell-, Lamé- und verallgemeinerte Helmholtz-Systeme mit räumlich unbegrenzten Störungen. Ein einheitlicher Zugang. Essen: Univ. Essen, Fachbereich Mathematik und Informatik (Diss.) (2002; Zbl 1170.35302) Full Text: Link
Purtukhia, O. Fubini type theorems for ordinary and stochastic integrals. (English) Zbl 1159.60327 Proc. A. Razmadze Math. Inst. 130, 101-114 (2002). MSC: 60H05 60H07 PDFBibTeX XMLCite \textit{O. Purtukhia}, Proc. A. Razmadze Math. Inst. 130, 101--114 (2002; Zbl 1159.60327)
Konno, N. Limit theorems and absorption problems for quantum random walks in one dimension. (English) Zbl 1152.81758 Quantum Inf. Comput. 2, Suppl., 578-595 (2002). MSC: 81P68 81S25 82B41 60K35 PDFBibTeX XMLCite \textit{N. Konno}, Quantum Inf. Comput. 2, 578--595 (2002; Zbl 1152.81758) Full Text: arXiv
Deo, S. G. Trigonometric-like operators in Banach spaces. (English) Zbl 1148.34302 Math. Stud. 71, No. 1-4, 149-160 (2002). MSC: 34A25 46B99 47B99 PDFBibTeX XMLCite \textit{S. G. Deo}, Math. Stud. 71, No. 1--4, 149--160 (2002; Zbl 1148.34302)
Wolf, C. Corrections to the C.B.R. induced by discretized space-time and extra dimensions. (English) Zbl 1139.85303 Hadronic J. 25, No. 4, 395-405 (2002). MSC: 85A40 83E15 83C27 PDFBibTeX XMLCite \textit{C. Wolf}, Hadronic J. 25, No. 4, 395--405 (2002; Zbl 1139.85303)