×

Found 1,227 Documents (Results 1–100)

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).
PDFBibTeX XMLCite
Full Text: HAL

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
Full Text: DOI HAL

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI Link

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI Link

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: Link

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
Full Text: Link

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
Full Text: Link

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
Full Text: Link

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: Link

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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

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).
PDFBibTeX XMLCite

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

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
Full Text: Link

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

Biographic Reference

all top 3

Software