281 results in SearchWorks catalog

201. The Interactive Proof Editor: an experiment in interactive theorem [proving].

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
111252	Available

202. A modelling system for Posie

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
See linked record to request items bound together
112821 3RD IN VOL	Available

203. Models of self-descriptive set theories

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
111240	Available

204. A natural deduction treatment of operational semantics

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
111260	Available

205. On functors expressible in the polymorphic typed lambda calculus

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
111244	Available

206. Operational and algebraic semantics of concurrent processes

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
109264	Available

207. The Posie processor board design

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
See linked record to request items bound together
112821 5TH IN VOL	Available

208. Process migration in parallel computations

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
See linked record to request items bound together
112821 6TH IN VOL	Available

209. ${\rm{CC}}[superscript]\infty_\subset$ and its meta theory

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
111249	Available

210. A short end of year report on the Posie project

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
112821 1ST IN VOL	Available

211. Some fundamental algebraic tools for the semantics of computation

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
111251	Available

212. A survey of formal software development methods

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
111247	Available

213. Temporal ordering for concurrency

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
111242	Available

214. The travelling salesman problem on MEIKO parallel computer

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
See linked record to request items bound together
112821 7TH IN VOL	Available

215. A typed lambda calculus with categorical type constructors

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
109262	Available

216. Unifying exceptions with constructors in standard ML.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
111245	Available

217. Using constructions as a metalanguage

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
112822	Available

218. Virtual channels on the Meiko Computing Surface

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
See linked record to request items bound together
112821 4TH IN VOL	Available

219. XHDL: a development of CIRCAL, its graphical representation and simulation

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
111243	Available

220. Automated analysis of mutual exclusion algorithms using CCS.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
114471	Available

221. Awareness Initiative in Object Oriented Computing: report of the second workshop, held in the James Clerk Maxwell Building, King's Buildings, Edinburgh, on the 14th of September, 1989

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
115959	Available

222. A calculus of mobile processes, part I.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
114465	Available

223. A calculus of mobile processes, part II.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
114466	Available

224. Characteristic formulae for CCS with divergence

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
112829	Available

225. Compositional characterization of observable program properties

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
114480	Available

226. The Concurrency Workbench: a semantics based tool for the verification of concurrent systems

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
112835	Available

227. DIALOG: a theorem-proving environment designed to unify functional and logic programming

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
112833	Available

228. Equational characterization of binding

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
114475	Available

229. Equations, dependent equations and quasi-dependent equations - on their unification

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
114474	Available

230. Finite constants: characterizations of a new decidable set of constants

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
112832	Available

231. Formal program development in Extended ML for the working programmer

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
115966	Available

232. Four lectures on Standard ML.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
112826	Available

233. Local model checking in the modal mu-calculus

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
112831	Available

234. Logical design of VLSI circuit with extension of uncertainty (or monotonic functional completeness of Kleene ternary logic)

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
114476	Available

235. The nonexistence of finite axiomatisations of CCS congruences

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
114478	Available

236. On natural deduction style semantics, environments and stores

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
114468	Available

237. Optimal data flow analysis via observational equivalence

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
112834	Available

238. Petri nets as quantales

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
114477	Available

239. Playing with LEGO: some examples of developing mathematics in the Calculus of Constructions

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
114469	Available

240. Proof-theoretic characterisations of logic programming

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
112830	Available

241. Proving correctness of constructor implementations

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
112823	Available

242. Proving total correctness of concurrent programs without using auxiliary variables

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
115964	Available

243. Proving total correctness of concurrent programs without using auxiliary variables

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
114481	Available

244. Relating Petri nets to formulae of linear logic

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
114467	Available

245. Self-independent Petri nets (or a dead-lock-free paradigm)

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
114479	Available

246. Some fundamental algebraic tools for the semantics of computation. Part 3: Indexed categories

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
114470	Available

247. Structure and representation in LF.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
112827	Available

248. The structure of free closed categories

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
114473	Available

249. Syntax, typechecking and dynamic semantics for Extended ML.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
115965	Available

250. A temporal calculus of communicating systems

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
115968	Available

251. Timing concurrent processes

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
115967	Available

252. Toward formal development of ML programs: foundations and methodology

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
112825	Available

253. Turing degrees and the word and conjugacy problems for finitely presented groups

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
112824	Available

254. Virtual objects: hiding the distribution in distributed systems

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
112828	Available

255. When is a graphical sequence stable?

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
114472	Available

256. Automating Polya theory: the computational complexity of the cycle index polynomial

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
118090	Available

257. Efficient algorithms for listing unlabeled graphs

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
118089	Available

258. The elusiveness of large cliques in a random graph

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
118091	Available

259. On context stream tuples and higher-order context flow graphs

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
115963	Available

260. On context streams and the boundedness of context flow graphs

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
115961	Available

261. Polynomial-time approximation algorithms for the Ising model

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
115960	Available

262. The qsum plot

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
115962	Available

263. A CCS-based investigation of deadlock in a multi-process electronic mail system

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
121142	Available

264. A comparison of hardware description languages

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
121139	Available

265. Configurable array logic circuits for computing network error detection codes

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
121141	Available

266. Graph reduction and pipelined parallel algorithms

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
123090	Available

267. The role of logic synthesis in high-level synthesis

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
121140	Available

268. Simple translation-invariant concepts are hard to learn

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
121138	Available

269. Design of a bit-sliced network for a shared-memory multiprocessor system

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
123091	Available

270. Final report on the DTI-funded awareness initiative in object oriented computing

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
124039	Available

271. Pointers and multi-dimensional arrays

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
124040	Available

272. A survey of PRAM simulation techniques

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
126133	Available

273. A tool to enhance model exploitation

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
124038	Available

274. List homomorphic parallel algorithms for bracket matching

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
127324	Available

275. Models of parallelism

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
127323	Available

276. Parallel programming, list homomorphisms and the maximum segment sum problem

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
127320	Available

277. PEPA: Performance Enhanced Process Algebra

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
126134	Available

278. The performance of Barnes-Hut N-body simulation in the abstract

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
127322	Available

279. Proceedings of workshop on process algebra and performance modelling, University of Edinburgh, May 21, 1993

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
127321	Available

280. The performance of SCI memory hierarchies

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
128836	Available

281. On the design and performance of pipelined architectures

University of Edinburgh. Department of Computer Science CSR-247-87.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
109254	Available

SearchWorks catalog

Search Constraints

Refine your results

Access

Resource type

Date

Library

Language

Author

Organization (as author)

%{search_type} search results

281 catalog results

201. The Interactive Proof Editor: an experiment in interactive theorem [proving].

202. A modelling system for Posie

203. Models of self-descriptive set theories

204. A natural deduction treatment of operational semantics

205. On functors expressible in the polymorphic typed lambda calculus

206. Operational and algebraic semantics of concurrent processes

207. The Posie processor board design

208. Process migration in parallel computations

209. ${\rm{CC}}[superscript]\infty_\subset$ and its meta theory

210. A short end of year report on the Posie project

211. Some fundamental algebraic tools for the semantics of computation

212. A survey of formal software development methods

213. Temporal ordering for concurrency

214. The travelling salesman problem on MEIKO parallel computer

215. A typed lambda calculus with categorical type constructors

216. Unifying exceptions with constructors in standard ML.

217. Using constructions as a metalanguage

218. Virtual channels on the Meiko Computing Surface

219. XHDL: a development of CIRCAL, its graphical representation and simulation

220. Automated analysis of mutual exclusion algorithms using CCS.

221. Awareness Initiative in Object Oriented Computing: report of the second workshop, held in the James Clerk Maxwell Building, King's Buildings, Edinburgh, on the 14th of September, 1989

222. A calculus of mobile processes, part I.

223. A calculus of mobile processes, part II.

224. Characteristic formulae for CCS with divergence

225. Compositional characterization of observable program properties

226. The Concurrency Workbench: a semantics based tool for the verification of concurrent systems

227. DIALOG: a theorem-proving environment designed to unify functional and logic programming

228. Equational characterization of binding

229. Equations, dependent equations and quasi-dependent equations - on their unification

230. Finite constants: characterizations of a new decidable set of constants

231. Formal program development in Extended ML for the working programmer

232. Four lectures on Standard ML.

233. Local model checking in the modal mu-calculus

234. Logical design of VLSI circuit with extension of uncertainty (or monotonic functional completeness of Kleene ternary logic)

235. The nonexistence of finite axiomatisations of CCS congruences

236. On natural deduction style semantics, environments and stores

237. Optimal data flow analysis via observational equivalence

238. Petri nets as quantales

239. Playing with LEGO: some examples of developing mathematics in the Calculus of Constructions

240. Proof-theoretic characterisations of logic programming

241. Proving correctness of constructor implementations

242. Proving total correctness of concurrent programs without using auxiliary variables

243. Proving total correctness of concurrent programs without using auxiliary variables

244. Relating Petri nets to formulae of linear logic

245. Self-independent Petri nets (or a dead-lock-free paradigm)

246. Some fundamental algebraic tools for the semantics of computation. Part 3: Indexed categories

247. Structure and representation in LF.

248. The structure of free closed categories

249. Syntax, typechecking and dynamic semantics for Extended ML.

250. A temporal calculus of communicating systems

251. Timing concurrent processes

252. Toward formal development of ML programs: foundations and methodology

253. Turing degrees and the word and conjugacy problems for finitely presented groups

254. Virtual objects: hiding the distribution in distributed systems

255. When is a graphical sequence stable?

256. Automating Polya theory: the computational complexity of the cycle index polynomial

257. Efficient algorithms for listing unlabeled graphs

258. The elusiveness of large cliques in a random graph

259. On context stream tuples and higher-order context flow graphs

260. On context streams and the boundedness of context flow graphs

261. Polynomial-time approximation algorithms for the Ising model

262. The qsum plot

263. A CCS-based investigation of deadlock in a multi-process electronic mail system

264. A comparison of hardware description languages

265. Configurable array logic circuits for computing network error detection codes

266. Graph reduction and pipelined parallel algorithms

267. The role of logic synthesis in high-level synthesis

268. Simple translation-invariant concepts are hard to learn