Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Laboratory for Foundations of Computer Science

Known as: LFCS 
The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the School of Informatics at the University of Edinburgh, in… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Esta investigacion presenta el diseno de un control basado en arquitectura LFCS (Linear Feedback Concurrent Structure), sobre… Expand
Is this relevant?
2017
2017
Compared with traditional plug-in charging method, wireless power transmission (WPT) has more convenience and security. In this… Expand
  • figure 1
  • figure 2
  • figure 3
  • table II
  • table I
Is this relevant?
2016
2016
a Drug Delivery, Disposition and Dynamics, Monash Institute of Pharmaceutical Sciences, Monash University, 381 Royal Parade… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2002
2002
We describe a software toolset which allows UML modellers to annotate their models with performance information. An equivalent… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 9
Is this relevant?
2000
2000
We propose a formalism for higher-order rewriting in de Bruijn notation. This notation not only is used for terms (as usually… Expand
Is this relevant?
1996
1996
rewriting system, 16 irreflexive, 33 weakly irreflexive, 33 with typing, 37, 40 with very weak typing, 40 with weak typing, 40… Expand
  • table 10.1
  • table 12.1
  • table 13.1
  • table 13.2
Is this relevant?
1994
1994
Abstract In this paper we consider two conceptually different categorical approaches to partiality namely partial map classifiers… Expand
Is this relevant?
1993
1993
ion, compute a type for its body in an extended context; to compute a type for an application, compute types for its left and… Expand
Is this relevant?
1993
1993
Within the framework of categorical logic/type theory, we provide a category-theoretic account of some logical concepts, i.e… Expand
Is this relevant?