Inge Bethke - 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]

A process algebra based framework for promise theoryJan A. Bergstra, Inge Bethke, Mark Burgess. corr, abs/0707.0744, 2007. [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]

Network algebra in JavaJan A. Bergstra, Inge Bethke. jlp, 62(2):247-271, 2005. [doi]

Polarized process algebra with reactive compositionJan A. Bergstra, Inge Bethke. TCS, 343(3):285-304, 2005. [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]

Polarized Process Algebra and Program EquivalenceJan A. Bergstra, Inge Bethke. icalp 2003: 1-21 [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]

Computer Algebra System Maple: A New Software LibraryVictor Aladjev. iccS 2003: 711-717 [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]

An Extremal Relation of the Theory of Approximation of Functions by Algebraic PolynomialsSemyon Rafalson. jat, 110(2):146-170, 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.

Extending partial combinatory algebrasInge Bethke, Jan Willem Klop, Roel C. de Vrijer. mscs, 9(4):483-505, 1999.

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]

Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT 97, Tarquinia, Italy, June 1997, Selected PapersFrancesco Parisi-Presicce, editor, Volume 1376 of Lecture Notes in Computer Science, Springer, 1997.

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.

Process Algebra with Iteration and NestingJan A. Bergstra, Inge Bethke, Alban Ponse. cj, 37(4):243-258, 1994.

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.

Process Algebra with CombinatorsJan A. Bergstra, Inge Bethke, Alban Ponse. csl 1994: 36-65

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]

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

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