Jan Willem Klop - 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]

Polynomial equations with one catalytic variable, algebraic series and map enumerationMireille Bousquet-Mélou, Arnaud Jehanne. JCT, 96(5):623-672, 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]

Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, ProceedingsCharles Rattray, Savi Maharaj, Carron Shankland, editors, Volume 3116 of Lecture Notes in Computer Science, Springer, 2004.

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

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]

Algebraic properties of a digraph and its line digraphCamino Balbuena, Daniela Ferrero, Xavier Marcote, Ignacio M. Pelayo. join, 4(4):377-393, 2003. [doi]

Computation AlgebrasMichal Walicki, Magne Haveraaen, Sigurd Meldal. mscs, 11(5):597-636, 2001.

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

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]

A Kleene Theorem for Lindenmayerian Algebraic Power SeriesZoltán Ésik, Werner Kuich. jalc, 5(2):109-122, 2000.

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.

Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT 98, Lisbon, Portugal, April 2-4, 1998, Selected PapersJosé Luiz Fiadeiro, editor, Volume 1589 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]

The Computational Complexity of Some Problems of Linear AlgebraJonathan F. Buss, Gudmund Skovbjerg Frandsen, Jeffrey Shallit. jcss, 58(3):572-596, 1999.

The Computational Complexity of Some Problems of Linear Algebra (Extended Abstract)Jonathan F. Buss, Gudmund Skovbjerg Frandsen, Jeffrey Shallit. STACS 1997: 451-462

The Computational Complexity of Some Problems of Linear AlgebraJonathan F. Buss, Gudmund Skovbjerg Frandsen, Jeffrey Shallit. eccc, 4(9), 1997. [doi]

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

On Dynamic Algorithms for Algebraic ProblemsJohn H. Reif, Stephen R. Tate. jal, 22(2):347-371, 1997.

Thermophysical Algebraic Invariants from Infrared Imagery for Object RecognitionJonathan D. Michel, Nagaraj Nandhakumar, Vincent J. Velten. pami, 19(1):41-51, 1997. [doi]

Completing Partial Combinatory Algebras With Unique Head-Normal FormsInge Bethke, Jan Willem Klop, Roel C. de Vrijer. lics 1996: 448-454

Algebra and Theory of Order-Deterministic PomsetsArend Rensink. ndjfl, 37(2):283-320, 1996.

On the Parallel Complexity of Iterated Multiplication in Rings of Algebraic IntegersStephan Waack. cfcp 1994: 35-44

Algebraic Nonlinearity and Its Applications to CryptographyLuke O Connor, Andrew Klapper. joc, 7(4):213-227, 1994.

Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion ProblemsJosé Meseguer, Joseph A. Goguen. iandc, 103(1):114-158, March 1993.

Decompositions and Projections in Equivalential AlgebrasKatarzyna Slomczynska. rml, 26:11-24, 1992.

Normal Retractions in Ordered Equivalential AlgebrasKatarzyna Slomczynska. rml, 26:75-87, 1992.

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

Readies and Failures in the Algebra of Communicating ProcessesJan A. Bergstra, Jan Willem Klop, Ernst-Rüdiger Olderog. SICOMP, 17(6):1134-1177, 1988.

Petri Nets Are Monoids: A New Algebraic Foundation for Net TheoryJosé Meseguer, Ugo Montanari. lics 1988: 155-164

Ready-Trace Semantics for Concrete Process Algebra with the Priority OperatorJos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop. cj, 30(6):498-506, 1987.

Algebra of Communicating Processes with AbstractionJan A. Bergstra, Jan Willem Klop. TCS, 37:77-121, 1985.

Verification of an alternating bit protocol by means of process algebraJan A. Bergstra, Jan Willem Klop. aii 1986: 9-23

Process Algebra for Synchronous CommunicationJan A. Bergstra, Jan Willem Klop. iandc, 60(1-3):109-137, January/February/March 1984.

The Algebra of Recursively Defined Processes and the Algebra of Regular ProcessesJan A. Bergstra, Jan Willem Klop. icalp 1984: 82-94

Process Algebra with Asynchronous Communication MechanismsJan A. Bergstra, Jan Willem Klop, J. V. Tucker. concur 1985: 76-95

Algebraic Tools for System ConstructionJan A. Bergstra, Jan Willem Klop, J. V. Tucker. lop 1984: 34-44

Initial Algebra Specifications for Parametrized Data TypesJan A. Bergstra, Jan Willem Klop. eik, 19(1/2):17-31, 1983.

Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target AlgebrasJan A. Bergstra, Jan Willem Klop. icalp 1982: 23-34

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.

runs on WebDSL