SCEAS

The SCEAS System

Title:
Author:

Marco Hollenberg: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Marco Hollenberg
Equational Axioms of Test Algebra. [Citation Graph (0, 0)][DBLP]
CSL, 1997, pp:295-310 [Conf]
Marco Hollenberg
Test Templates for Test Generation. [Citation Graph (0, 0)][DBLP]
IWTCS, 1999, pp:167-178 [Conf]
Marco Hollenberg
An Equational Axiomatization of Dynamic Negation and Relational Composition. [Citation Graph (0, 0)][DBLP]
Journal of Logic, Language and Information, 1997, v:6, n:4, pp:381-401 [Journal]
Marco Hollenberg, Albert Visser
Dynamic Negation, the One and Only. [Citation Graph (0, 0)][DBLP]
Journal of Logic, Language and Information, 1999, v:8, n:2, pp:137-141 [Journal]
Giovanna D'Agostino, Marco Hollenberg
Logical Questions Concerning The mu-Calculus: Interpolation, Lyndon and Los-Tarski. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 2000, v:65, n:1, pp:310-332 [Journal]
Marco Hollenberg, Kees Vermeulen
Counting Variables in a Dynamic Setting. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 1996, v:6, n:5, pp:725-744 [Journal]
Marco Hollenberg
Characterizations of Negative Definability in Modal Logic. [Citation Graph (0, 0)][DBLP]
Studia Logica, 1998, v:60, n:2, pp:357-386 [Journal]

Search in 0.001secs, Finished in 0.002secs

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