|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
119 | John Howse, Fernando Molina, John Taylor 0001, Sun-Joo Shin |
Type-syntax and token-syntax in diagrammatic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOIS ![In: 2nd International Conference on Formal Ontology in Information Systems, FOIS 2001, Ogunquit, Maine, USA, October 17-19, 2001, Proceedings., pp. 174-185, 2001, ACM, 1-58113-377-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
concrete and abstract syntax, formal methods, software specification, diagrammatic reasoning, visual formalisms |
73 | John Howse, Fernando Molina, Sun-Joo Shin, John Taylor 0001 |
On Diagram Tokens and Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002, Proceedings, pp. 146-160, 2002, Springer, 3-540-43561-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Roger G. Stone, Gada F. Kadoda |
Token-by-token Syntax-directed Editing (Using an LR Parser). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 26(11), pp. 1247-1260, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Urszula Wybraniec-Skardowska |
Meaning and Interpretation. I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 85(1), pp. 105-132, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Token-type distinction, token-syntax, type-syntax, denotation, synonymy unambiguity, ambiguity, meaning, referring |
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|