The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Inge Bethke: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jan A. Bergstra, Inge Bethke, Alban Ponse
    Process Algebra with Combinators. [Citation Graph (0, 0)][DBLP]
    CSL, 1993, pp:36-65 [Conf]
  2. Inge Bethke, Jan Willem Klop
    Collapsing Partial Combinatory Algebras. [Citation Graph (0, 0)][DBLP]
    HOA, 1995, pp:57-73 [Conf]
  3. Jan A. Bergstra, Inge Bethke
    Polarized Process Algebra and Program Equivalence. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:1-21 [Conf]
  4. Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
    Completing Partial Combinatory Algebras With Unique Head-Normal Forms. [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:448-454 [Conf]
  5. Inge Bethke
    Finite Type Structures within Combinatory Algebras. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1991, v:55, n:2, pp:101-123 [Journal]
  6. Jan A. Bergstra, Inge Bethke, Alban Ponse
    Process Algebra with Iteration and Nesting. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1994, v:37, n:4, pp:243-258 [Journal]
  7. Inge Bethke, Piet Rodenburg
    Equational Constructor Induction. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:25, n:1, pp:1-15 [Journal]
  8. Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
    Descendants and Origins in Term Rewriting. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:159, n:1-2, pp:59-124 [Journal]
  9. Jan A. Bergstra, Inge Bethke
    An upper bound for the equational specification of finite state services. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:94, n:6, pp:267-269 [Journal]
  10. Jan A. Bergstra, Inge Bethke, Piet Rodenburg
    A propositional logic with 4 values: true, false, divergent and meaningless. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1995, v:5, n:2, pp:- [Journal]
  11. Jan A. Bergstra, Inge Bethke
    Network algebra in Java. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2005, v:62, n:2, pp:247-271 [Journal]
  12. Jan A. Bergstra, Inge Bethke
    Molecular dynamics. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2002, v:51, n:2, pp:193-214 [Journal]
  13. Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
    Extending partial combinatory algebras. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1999, v:9, n:4, pp:483-505 [Journal]
  14. Jan A. Bergstra, Inge Bethke
    Polarized process algebra with reactive composition. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:343, n:3, pp:285-304 [Journal]
  15. Inge Bethke
    Coherence Spaces are Untopological. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:85, n:2, pp:353-357 [Journal]
  16. Jan A. Bergstra, Inge Bethke, Alban Ponse
    Decision problems for pushdown threads. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2007, v:44, n:2, pp:75-90 [Journal]
  17. Jan A. Bergstra, Inge Bethke, Mark Burgess
    A process algebra based framework for promise theory [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  18. Some properties of finite meadows [Citation Graph (, )][DBLP]


  19. Square root meadows [Citation Graph (, )][DBLP]


  20. The structure of finite meadows [Citation Graph (, )][DBLP]


  21. Straight-line instruction sequence completeness for total calculation on cancellation meadows [Citation Graph (, )][DBLP]


  22. On the contribution of backward jumps to instruction sequence expressiveness [Citation Graph (, )][DBLP]


Search in 0.036secs, Finished in 0.037secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002