|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Carlos Caleiro, Ricardo Gonçalves |
Towards a Behavioral Algebraic Theory of Logical Valuations.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota |
Normative Systems Represented as Hybrid Knowledge Bases.  |
CLIMA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | António Coelho, Enrique Kato, João Xavier, Ricardo Gonçalves |
Serious Game for Introductory Programming.  |
SGDA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves, José Júlio Alferes |
Parametrized Equilibrium Logic.  |
LPNMR  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno M. Preguiça, Carlos Baquero, Paulo Sérgio Almeida, Victor Fonte, Ricardo Gonçalves |
Dotted Version Vectors: Logical Clocks for Optimistic Replication  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Gonçalves, José Júlio Alferes |
Parametrized Logic Programming.  |
JELIA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Ricardo Gonçalves |
Behavioral algebraization of da Costa's C-systems.  |
Journal of Applied Non-Classical Logics  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Carlos Caleiro, Ricardo Gonçalves, Manuel A. Martins |
Behavioral Algebraization of Logics.  |
Studia Logica  |
2009 |
DBLP DOI BibTeX RDF |
many-sorted behavioral logic, non-truth-functionality, Abstract algebraic logic |
| 1 | Carlos Caleiro, Ricardo Gonçalves |
Algebraic Valuations as Behavioral Logical Matrices.  |
WoLLIC  |
2009 |
DBLP DOI BibTeX RDF |
behavioral algebraization, logical matrix, valuation semantics, algebraic logic |
| 1 | Hervé Panetto, Peter Bernus, Ricardo Gonçalves, H. Ted Goranson |
EI2N 2009 PC Co-chairs' Message.  |
OTM Workshops  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | João Barbosa, Paulo Bernardes, Matheus Almeida, Pedro Gomes, Ricardo Gonçalves, Alberto Proença |
A Technology Cocktail for a 3D Photo-Realistic Model of a I Century Roman Fountain: Range Scanning, RTI and Physically Based Rendering.  |
VAST  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Ricardo Gonçalves |
On the Algebraization of Many-Sorted Logics.  |
WADT  |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|