Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for LOGLAN with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977 (1) 1978 (1) 1984 (1) 1986 (1) 1990 (3)
Publication types (Num. hits)
inproceedings(7)
Venues (Conferences, Journals, ...)
DISCO(2) MFCS(2) CAAP(1) SIGSMALL/PC Symposium(1) Symposium on Computation Theor...(1)
Authors
Andrzej Salwicki(3) Marco Temperini(2) Mauro Regio(2) Carla Limongelli(1) Grazyna Mirkowska(1) Jolanta Warpechowska(1) M. Beatrice Mele(1) Uwe Petermann(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 12 keywords
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
61Grazyna Mirkowska, Andrzej Salwicki On Applications of Algorithmic Logic. Search on Bibsonomy CAAP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF algorithmic logic, LOGLAN, verification, specification, program, implementation, computation, completeness, extension, modules, expressivity, inference rules, axioms, semantical properties
49Andrzej Salwicki Applied Algorithmic Logic. Search on Bibsonomy MFCS The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
46Jolanta Warpechowska On the implementation of CSP mechanisms in loglan. Search on Bibsonomy Symposium on Computation Theory The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
25Mauro Regio, Marco Temperini Implementation and Manipulation of Formal Objects: An Object-Oriented View. Search on Bibsonomy SIGSMALL/PC Symposium The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
25Uwe Petermann Programming Paradigms For Symbolic Computation Systems - Analysis Of An Example. Search on Bibsonomy DISCO The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
25Carla Limongelli, M. Beatrice Mele, Mauro Regio, Marco Temperini Abstract Specification Of Mathematical Structures And Methods. Search on Bibsonomy DISCO The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
25Andrzej Salwicki On Algorithmic Theory of Stacks. Search on Bibsonomy MFCS The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #7 of 7 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license