Home
Catalogue search
Refine your search:
Keyword:
FOS Computer and information sciences (6)
Programming Languages cs.PL (6)
Cryptography and Security cs.CR (3)
Logic in Computer Science cs.LO (3)
D.3.1; D.3.2; D.3.3; D.3.4 (2)
68N15, 68N18, 68N19, 68N20, 68T30, 68T27, 68Q55 (1)
D.1.7; D.2.11; D.3.2; D.3.4 (1)
D.2.11; D.3.4 (1)
D.3.1; D.3.2; D.3.3; D.3.4; D.1.7; D.2.11 (1)
D.3.3; D.3.2; D.3.4 (1)
more
Creator / Publisher
Year:
2011 (1)
2010 (1)
2009 (4)
Medium:
Online (6)
Type
BLLDB-Access
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Hits 1 – 6 of 6
1
Furthering Baseline Core Lucid Standard Specification in the Context of the History of Lucid, Intensional Programming, and Context-Aware Computing ...
Paquet, Joey
;
Mokhov, Serguei A.
. - : arXiv, 2011
BASE
Show details
2
The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY ...
Mokhov, Serguei A.
;
Paquet, Joey
;
Debbabi, Mourad
. - : arXiv, 2010
BASE
Show details
3
A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY ...
Mokhov, Serguei A.
;
Paquet, Joey
. - : arXiv, 2009
BASE
Show details
4
Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions ...
Mokhov, Serguei A.
;
Paquet, Joey
. - : arXiv, 2009
BASE
Show details
5
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle ...
Mokhov, Serguei A.
;
Paquet, Joey
. - : arXiv, 2009
BASE
Show details
6
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid ...
Mokhov, Serguei A.
;
Paquet, Joey
;
Debbabi, Mourad
. - : arXiv, 2009
BASE
Show details
Mobile view
All
Catalogues
UB Frankfurt Linguistik
0
IDS Mannheim
0
OLC Linguistik
0
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
0
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
6
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern