default search action

combined dblp search
author search
venue search
publication search

ask others

Fundamenta Informaticae, Volume 106

> Home > Journals > Fundamenta Informaticae

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 106, Number 1, 2011

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/KamideW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/KamideW11
Norihiro Kamide, Heinrich Wansing:
A Paraconsistent Linear-time Temporal Logic. 1-23
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/LiuY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/LiuY11
Guohua Liu, Jia-Huai You:
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs. 25-43
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/SahaMBP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/SahaMBP11
Indrajit Saha, Ujjwal Maulik, Sanghamitra Bandyopadhyay, Dariusz Plewczynski:
Unsupervised and Supervised Learning Approaches Together for Microarray Analysis. 45-73
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/TangWZW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/TangWZW11
Zhenjun Tang, Shuozhong Wang, Xinpeng Zhang, Weimin Wei:
Structural Feature-Based Image Hashing and Similarity Metric for Tampering Detection. 75-91
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Wakulicz-DejaP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Wakulicz-DejaP11
Alicja Wakulicz-Deja, Malgorzata Przybyla-Kasperek:
Application of the Method of Editing and Condensing in the Process of Global Decision-making. 93-117

Volume 106, Numbers 2-4, 2011

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/OnoKQ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/OnoKQ11
Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz:
Preface.
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AlvesOQ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AlvesOQ11
Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz:
Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property. 119-147
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AmatoS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AmatoS11
Gianluca Amato, Francesca Scozzari:
Observational Completeness on Abstract Interpretation. 149-173
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BelardinelliL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BelardinelliL11
Francesco Belardinelli, Alessio Lomuscio:
First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. 175-190
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/CaleiroG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/CaleiroG11
Carlos Caleiro, Ricardo Gonçalves:
Towards a Behavioral Algebraic Theory of Logical Valuations. 191-209
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/GrootePP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/GrootePP11
Philippe de Groote, Sylvain Pogodalla, Carl Pollard:
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar. 211-231
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Link11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Link11
Sebastian Link:
On Inferences of Full First-Order Hierarchical Decompositions. 233-258
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/KontinenN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/KontinenN11
Juha Kontinen, Ville Nurmi:
Team Logic and Second-Order Logic. 259-272
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Maruyama11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Maruyama11
Yoshihiro Maruyama:
Dualities for Algebras of Fitting's Many-Valued Modal Logics. 273-294
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/NievesOZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/NievesOZ11
Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda:
A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory. 295-319
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Wang11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Wang11
Ren-June Wang:
Knowledge, Time, and the Problem of Logical Omniscience. 321-338

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.