Eelco Visser - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged algebra

Congruences on Dynamic AlgebrasSandra Marques Pinto, M. Teresa Oliveira-Martins, M. Céu Pinto. igpl, 16(1):15-31, 2008. [doi]

Basic Hoops: an Algebraic Study of Continuous ::::t:::: -normsP. Aglianò, Isabel M. A. Ferreirim, Franco Montagna. sLogica, 87(1):73-98, 2007. [doi]

Discrete Dualities for Heyting Algebras with OperatorsEwa Orlowska, Ingrid Rewitzky. FUIN, 81(1-3):275-295, 2007. [doi]

Quasi-interpolation in the Fourier algebraHans Georg Feichtinger, Norbert Kaiblinger. jat, 144(1):103-118, 2007. [doi]

Inverse polynomial images which consists of two Jordan arcs - An algebraic solutionKlaus Schiefermayr. jat, 148(2):148-157, 2007. [doi]

Polynomial equations with one catalytic variable, algebraic series and map enumerationMireille Bousquet-Mélou, Arnaud Jehanne. JCT, 96(5):623-672, 2006. [doi]

On Löb algebrasMajid Alizadeh, Mohammad Ardeshir. mlq, 52(1):95-105, 2006. [doi]

Algebraic properties of some new vector-valued rational interpolantsAvram Sidi. jat, 141(2):142-161, 2006. [doi]

A free subalgebra of the algebra of matroidsHenry Crapo, William Schmitt. ejc, 26(7):1066-1085, 2005. [doi]

ICS: a package for computing involutive characteristic set of algebraic partial differential equation systemsShan-Qing Zhang, Gui-Xu Zhang, Zhi-Bin Li. amc, 160(2):551-577, 2005. [doi]

Clifford algebra-valued orthogonal polynomials in Euclidean spaceF. Brackx, N. De Schepper, F. Sommen. jat, 137(1):108-122, 2005. [doi]

Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, ProceedingsJaime Gutierrez, editor, ACM, 2004.

An Algebra of ScansRalf Hinze. mpc 2004: 186-210 [doi]

Inequalities of Rafalson type for algebraic polynomialsK. H. Kwon, D. W. Lee. jat, 128(2):175-186, 2004. [doi]

A Goppa-like bound on the trellis state complexity of algebraic-geometric codesCarlos Munuera, Fernando Torres. TIT, 49(3):733-737, 2003.

A note on Tutte polynomials and Orlik-Solomon algebrasRaul Cordovil, David Forge. ejc, 24(8):1081-1087, 2003. [doi]

Computer Algebra System Maple: A New Software LibraryVictor Aladjev. iccS 2003: 711-717 [doi]

Use of algebraically independent numbers for zero recognition of polynomial termsDaniel Richardson, Ahmed El-Sonbaty. jc, 19(5):631-637, 2003. [doi]

Robinson - Schensted - Knuth insertion and characters of cyclotomic Hecke algebrasAndy Cantrell, Tom Halverson, Brian Miller. JCT, 99(1):17-31, 2002. [doi]

Lower Bounds for Dynamic Algebraic ProblemsGudmund Skovbjerg Frandsen, Johan P. Hansen, Peter Bro Miltersen. iandc, 171(2):333-349, 2001. [doi]

An Extremal Relation of the Theory of Approximation of Functions by Algebraic PolynomialsSemyon Rafalson. jat, 110(2):146-170, 2001. [doi]

Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT 99, Château de Bonas, France, September 15-18, 1999, Selected PapersDidier Bert, Christine Choppy, Peter D. Mosses, editors, Volume 1827 of Lecture Notes in Computer Science, Springer, 2000.

Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, ProceedingsTeodor Rus, editor, Volume 1816 of Lecture Notes in Computer Science, Springer, 2000.

The Whitney Algebra of a MatroidHenry Crapo, William Schmitt. JCT, 91(1-2):215-263, 2000. [doi]

Efficient Representation and Algebraic Manipulation of Infinite Relations in Paraconsistent DatabasesNicholas Q. Trân, Rajiv Bagai. is, 25(8):491-502, 2000. [doi]

Finite algebras of finite complexityKeith A. Kearnes, Emil W. Kiss. DM, 207(1-3):89-135, 1999. [doi]

Guarded Algebras: Disguising Partiality so You Won t Know Whether It s ThereMagne Haveraaen, Eric G. Wagner. WADT 2000: 182-200

Algebraic Methodology and Software Technology, 7th International Conference, AMAST 98, Amazonia, Brasil, January 4-8, 1999, ProceedingsArmando Martin Haeberer, editor, Volume 1548 of Lecture Notes in Computer Science, Springer, 1999.

Lower Bounds for Dynamic Algebraic ProblemsGudmund Skovbjerg Frandsen, Johan P. Hansen, Peter Bro Miltersen. STACS 1999: 362-372 [doi]

Polymorphic Syntax DefinitionEelco Visser. TCS, 199(1-2):57-86, 1998. [doi]

Character ClassesEelco Visser. Technical Report P9708, 1997.

Syntax Definition for Language PrototypingEelco Visser. PhD thesis, University of Amsterdam, September 1997.

Horn sentences in Post algebrasDragic Bankovic. DM, 173(1-3):269-275, 1997. [doi]

Multi-Level SpecificationsEelco Visser. In Arie van Deursen, Jan Heering, Paul Klint, editors, Language Prototyping. An Algebraic Specification Approach. Volume 5 of AMAST Series in Computing, World Scientific, Singapore, September 1996.

Generation of Formatters for Context-Free LanguagesMark G. J. van den Brand, Eelco Visser. TOSEM, 5(1):1-41, 1996. [doi]

Algebraic Methodology and Software Technology, 5th International Conference, AMAST 96, Munich, Germany, July 1-5, 1996, ProceedingsMartin Wirsing, Maurice Nivat, editors, Volume 1101 of Lecture Notes in Computer Science, Springer, 1996.

A Family of Syntax Definition FormalismsEelco Visser. ASF+SDF 1995:

From Box to TeX: An algebraic approach to the generation of documentation toolsEelco Visser, Mark G. J. van den Brand. Technical Report P9420, 1994.

Algebraic Methodology and Software Technology (AMAST 93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo, editors, Workshops in Computing, Springer, 1994.

Combinatory Algebraic Specification & Compilation of List MatchingEelco Visser. Master's thesis, Department of Computer Science, University of Amsterdam, Amsterdam, June 1993.

Unified Algebras and ModulesPeter D. Mosses. POPL 1989: 329-343

Unified Algebras and InstitutionsPeter D. Mosses. lics 1989: 304-312

Incidence algebra antipodes and lagrange inversion in one and several variablesMark D. Haiman, William Schmitt. JCT, 50(2):172-185, 1989. [doi]

Unified AlgebrasPeter D. Mosses. WADT 1988:

Petri Net Models for Algebraic Theories of ConcurrencyRob J. van Glabbeek, Frits W. Vaandrager. parle 1987: 224-242

On expansion of algebraic functions in power and Puiseux series, IID. V. Chudnovsky, G. V. Chudnovsky. jc, 3(1):1-25, 1987. [doi]

A Basic Abstract Semantic AlgebraPeter D. Mosses. sdt 1984: 87-107

A Semantic Algebra for Binding ConstructsPeter D. Mosses. icfpc 1981: 408-418

Factoring Polynomials Over Algebraic Number FieldsPeter J. Weinberger, Linda Preiss Rothschild. TOMS, 2(4):335-350, 1976. [doi]

A Decomposition Theorem for Hyper-Algebraic Extensions of Language FamiliesJan van Leeuwen, Derick Wood. TCS, 1(3):199-214, 1976.