|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux |
Weak representations of relation algebras and relational bases.  |
J. Symb. Log.  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jeremy F. Alm, Roger D. Maddux, Jacob Manske |
Chromatic Graphs, Ramsey Numbers and the Flexible Atom Conjecture. |
Electr. J. Comb. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Roger D. Maddux |
Finite Symmetric Integral Relation Algebras with No 3-Cycles. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roger D. Maddux |
Finite, integral, and finite-dimensional relation algebras: a brief history. |
Ann. Pure Appl. Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roger D. Maddux |
Review: Relation algebras by games: Robin Hirsch, Ian Hodkinson: Relation algebras by games. |
Logic Journal of the IGPL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux |
Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory. |
J. Symb. Log. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux |
Provability with finitely many variables. |
Bulletin of Symbolic Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Marcelo F. Frias, Roger D. Maddux |
Completeness of a relational calculus for program schemes. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo F. Frias, Roger D. Maddux |
Completeness of a Relational Calculus for Program Schemes. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jipsen, Roger D. Maddux |
Nonrepresentable Sequential Algebras. |
Logic Journal of the IGPL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo F. Frias, Roger D. Maddux |
Completeness of the Relational Calculus MU2. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Roger D. Maddux |
Relation-Algebraic Semantics. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajnal Andréka, Roger D. Maddux |
Representations for Small Relation Algebras. |
Notre Dame Journal of Formal Logic |
1994 |
DBLP BibTeX RDF |
|
| 1 | Roger D. Maddux |
Undecidable Semiassociative Relation Algebras. |
J. Symb. Log. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Peter B. Ladkin, Roger D. Maddux |
On Binary Constraint Problems. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
constraint matrices, relation algebras, constraint satisfaction problems, relations, path consistency |
| 1 | Roger D. Maddux |
Finitary Algebraic Logic II. |
Math. Log. Q. |
1993 |
DBLP BibTeX RDF |
|
| 1 | Roger D. Maddux |
Relation Algebras for Reasoning about Time and Space. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
| 1 | Roger D. Maddux |
Relation Algebras of Every Dimension. |
J. Symb. Log. |
1992 |
DBLP BibTeX RDF |
|
| 1 | Clifford Bergman, Roger D. Maddux, Don Pigozzi (eds.) |
Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings |
Algebraic Logic and Universal Algebra in Computer Science |
1990 |
DBLP BibTeX RDF |
|
| 1 | Roger D. Maddux |
Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. |
J. Symb. Log. |
1989 |
DBLP BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski |
Addendum to the paper "On the dependence of functions on their variables". |
J. Comb. Theory, Ser. A |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski |
On the Dependence of Functions on Their Variables. |
J. Comb. Theory, Ser. A |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Roger D. Maddux |
The Equational Theory of CA3 is Undecidable. |
J. Symb. Log. |
1980 |
DBLP BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")