Inge Bethke - RankMe

38 papers A* 2B 1Journal 34Unranked 1

Year	Rank	Type	Title / Venue / Authors
2017	J	`jnl`	Subvarieties of the Variety of Meadows. Sci. Ann. Comput. Sci. Jan A. Bergstra, Inge Bethke
2017	J	`jnl`	Universality of Univariate Mixed Fractions in Divisive Meadows. CoRR Jan A. Bergstra, Inge Bethke, Dimitri Hendriks
2015	J	`jnl`	A negative result on algebraic specifications of the meadow of rational numbers. CoRR Jan A. Bergstra, Inge Bethke
2015	J	`jnl`	Equations for formally real meadows. J. Appl. Log. Jan A. Bergstra, Inge Bethke, Alban Ponse
2015	J	`jnl`	Note on paraconsistency and reasoning about fractions. J. Appl. Non Class. Logics Jan A. Bergstra, Inge Bethke
2015	J	`jnl`	Subvarieties of the variety of meadows. CoRR Jan A. Bergstra, Inge Bethke
2015	J	`jnl`	The structure of finite meadows. J. Log. Algebraic Methods Program. Inge Bethke, Pieter Hendrik Rodenburg, Arjen Sevenster
2014	J	`jnl`	Note on paraconsistency and the logic of fractions. CoRR Jan A. Bergstra, Inge Bethke
2013	J	`jnl`	Cancellation Meadows: A Generic Basis Theorem and Some Applications. Comput. J. Jan A. Bergstra, Inge Bethke, Alban Ponse
2013	J	`jnl`	Equations for formally real meadows. CoRR Jan A. Bergstra, Inge Bethke, Alban Ponse
2012	J	`jnl`	On the Contribution of Backward Jumps to Instruction Sequence Expressiveness. Theory Comput. Syst. Jan A. Bergstra, Inge Bethke
2011	J	`jnl`	Preface: This issue is dedicated to Jan Bergstra on the occasion of his sixtieth birthday. Theor. Comput. Sci. Inge Bethke, Alban Ponse, Piet Rodenburg
2011	J	`jnl`	Straight-line Instruction Sequence Completeness for Total Calculation on Cancellation Meadows. Theory Comput. Syst. Jan A. Bergstra, Inge Bethke
2011	J	`jnl`	Typability in Partial Applicative Structures. J. Log. Lang. Inf. Inge Bethke, Piet Rodenburg
2010	J	`jnl`	On the contribution of backward jumps to instruction sequence expressiveness CoRR Jan A. Bergstra, Inge Bethke
2010	J	`jnl`	The initial meadows. J. Symb. Log. Inge Bethke, Piet Rodenburg
2009	J	`jnl`	Square root meadows CoRR Jan A. Bergstra, Inge Bethke
2009	J	`jnl`	Straight-line instruction sequence completeness for total calculation on cancellation meadows CoRR Jan A. Bergstra, Inge Bethke
2009	J	`jnl`	The structure of finite meadows CoRR Inge Bethke, Piet Rodenburg, Arjen Sevenster
2008	J	`jnl`	Cancellation Meadows: a Generic Basis Theorem and Some Applications. CoRR Jan A. Bergstra, Inge Bethke, Alban Ponse
2007	J	`jnl`	A process algebra based framework for promise theory CoRR Jan A. Bergstra, Inge Bethke, Mark Burgess
2007	J	`jnl`	Decision problems for pushdown threads. Acta Informatica Jan A. Bergstra, Inge Bethke, Alban Ponse
2007	J	`jnl`	Some properties of finite meadows CoRR Inge Bethke, Piet Rodenburg
2005	J	`jnl`	An upper bound for the equational specification of finite state services. Inf. Process. Lett. Jan A. Bergstra, Inge Bethke
2005	J	`jnl`	Network algebra in Java. J. Log. Algebraic Methods Program. Jan A. Bergstra, Inge Bethke
2005	J	`jnl`	Polarized process algebra with reactive composition. Theor. Comput. Sci. Jan A. Bergstra, Inge Bethke
2003	A*	`conf`	Polarized Process Algebra and Program Equivalence. ICALP Jan A. Bergstra, Inge Bethke
2002	J	`jnl`	Molecular dynamics. J. Log. Algebraic Methods Program. Jan A. Bergstra, Inge Bethke
2000	J	`jnl`	Descendants and Origins in Term Rewriting. Inf. Comput. Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
1999	J	`jnl`	Extending partial combinatory algebras. Math. Struct. Comput. Sci. Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
1996	A*	`conf`	Completing Partial Combinatory Algebras With Unique Head-Normal Forms. LICS Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
1996	J	`jnl`	Equational Constructor Induction. Fundam. Informaticae Inge Bethke, Piet Rodenburg
1995	J	`jnl`	A propositional logic with 4 values: true, false, divergent and meaningless. J. Appl. Non Class. Logics Jan A. Bergstra, Inge Bethke, Piet Rodenburg
1995	—	`conf`	Collapsing Partial Combinatory Algebras. HOA Inge Bethke, Jan Willem Klop
1994	J	`jnl`	Process Algebra with Iteration and Nesting. Comput. J. Jan A. Bergstra, Inge Bethke, Alban Ponse
1993	B	`conf`	Process Algebra with Combinators. CSL Jan A. Bergstra, Inge Bethke, Alban Ponse
1991	J	`jnl`	Coherence Spaces are Untopological. Theor. Comput. Sci. Inge Bethke
1991	J	`jnl`	Finite Type Structures within Combinatory Algebras. Ann. Pure Appl. Log. Inge Bethke