|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 3 keywords
|
|
|
Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
33 | Oleg V. Kudinov, Victor L. Selivanov |
Definability in the Infix Order on Words. |
Developments in Language Theory |
2009 |
DBLP DOI BibTeX RDF |
Infix order, least fixed point, biinterpretability, definability, automorphism, first-order theory |
33 | Oleg V. Kudinov, Victor L. Selivanov |
A Gandy Theorem for Abstract Structures and Applications to First-Order Definability. |
CiE |
2009 |
DBLP DOI BibTeX RDF |
Gandy theorem, least fixed point, biinterpretability, labeled forest, h-quasiorder, definability |
Displaying result #1 - #2 of 2 (100 per page; Change: )
|
|