|
|
|
|
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: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")